Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2012
Genre:	EDV / Informatik
	Artificial Intelligence / 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 mehr...
ISBN:	9783642341878
EAN-Code:	9783642341878
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#7261 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	427 gr
Seiten:	263
Illustration:	XII, 263 p. 95 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 thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.