Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 1998
Genre:	EDV / Informatik
	Automat / automateddeduction / Computer / EDV / Theorie / Software-Entw. / Software Engineering / Intelligenz / Künstliche Intelligenz / KI / Künstliche Intelligenz - AI / modelchecking / Modeling / Rechnerarchitektur und Logik-Entwurf / spaceexploration / Theoretische Informatik / Verification mehr...
ISBN:	9783540646082
EAN-Code:	9783540646082
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 31 mm
Gewicht:	850 gr
Seiten:	568
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.