Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 1992
Genre:	EDV / Informatik
	Automat / Automata / Computer / Logic / modelchecking / Netzwerk (elektronisch) / Software Engineering / Systemanalyse und -design / Theoretische Informatik / TOOLS / Verification mehr...
ISBN:	9783540551799
EAN-Code:	9783540551799
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 28 mm
Gewicht:	756 gr
Seiten:	504
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.