Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2016
Genre:	EDV / Informatik
	C / Computation by Abstract Devices / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computers / Formal Languages and Automata Theory / 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 theory of computation / Software Engineering / Theory of Computation
ISBN:	9783319489889
EAN-Code:	9783319489889
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Serie:	#9995 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	12102 gr
Seiten:	789
Illustration:	XXIII, 789 p. 204 illus., schwarz-weiss Illustrationen
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The  broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.