Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2011
Genre:	EDV / Informatik
	C / Compilers & interpreters / Computer architecture & logic design / Computer logic / Computer programming / Computer programming / software engineering / computer science / information architecture / IT Operations / Logics and Meanings of Programs / Maintenance & repairs / Management information systems / Management of Computing and Information Systems / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Theory of Computation mehr...
ISBN:	9783642214363
EAN-Code:	9783642214363
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#6664 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	450
Illustration:	XIV, 450 p. 110 illus., 27 illus. in color., schwarz-weiss Illustrationen, farbige 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 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.