Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2015
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 / Theoretische Informatik / Theory of Computation / Wirtschaftsmathematik und -informatik, IT-Management mehr...
ISBN:	9783319192482
EAN-Code:	9783319192482
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#9109 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	9358 gr
Seiten:	610
Illustration:	XVI, 610 p. 156 illus., 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 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.