Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 2003
Genre:	EDV / Informatik
	Application software / C / Compiler und Übersetzer / Compilers & interpreters / Compilers and Interpreters / Computer and Information Systems Applications / Computer Applications / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Logics and Meanings of Programs / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Software Engineering / Software Engineering/Programming and Operating Systems / Theoretische Informatik mehr...
ISBN:	9783540401179
EAN-Code:	9783540401179
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2648 - Lecture Notes in Computer Science
Dimensionen:	H 233 mm / B 155 mm / D
Gewicht:	400 gr
Seiten:	241
Illustration:	VIII, 241 p.
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 refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.