Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 1991
Genre:	Schulbücher
	Algorithm / Algorithms / Attribut / Computer / EDV / Theorie / Software-Entw. / Software Engineering / formallanguage / formallanguages / formalverification / Netzwerk (elektronisch) / Session / Software Engineering / Theoretische Informatik / TOOLS / Verification / Wissensbasierte Systeme, Expertensysteme mehr...
ISBN:	9783540544777
EAN-Code:	9783540544777
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 22 mm
Gewicht:	593 gr
Seiten:	392
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.