Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 2015
Genre:	EDV / Informatik
	C / Compilers & interpreters / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Logics and Meanings of Programs / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Software Engineering / Theory of Computation
ISBN:	9783319234038
EAN-Code:	9783319234038
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Serie:	#9232 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 19 mm
Gewicht:	517 gr
Seiten:	340
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented ¿ 14 regular papers and 4 tool or new idea papers ¿ were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.