Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2024
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / Computer System Implementation / Computerhardware / Computerprogrammierung und Softwareentwicklung / Control Structures and Microprogramming / Data Structures and Information Theory / formal methods / Informationstheorie / Künstliche Intelligenz / Logic in AI / model checking, theorem proving, and decision procedures / Programming Techniques / Quantum systems / real-time, hybrid, and cyber-physical systems / security and safety / Software Engineering / software testing, verification, and validation / SYNTHESIS / Systemanalyse und -design mehr...
ISBN:	9783031773815
EAN-Code:	9783031773815
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	462
Illustration:	XV, 462 p. 243 illus., 190 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.