Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 2008
Genre:	EDV / Informatik
	Application / Asynchronous / book / cadp / circuits / Computer Engineering / computer science / Computertechnik / Electrical & Electronics Engineering / Elektrotechnik / Elektrotechnik u. Elektronik / Informatik / lotosbased / modular / offers / Parallel and Distributed Computing / Paralleles u. Verteiltes Rechnen / Software Engineering / Software-Engineering / theoretical background / Three / toolsets mehr...
ISBN:	9780471704492
EAN-Code:	9780471704492
Verlag:	Wiley
Einband:	Gebunden
Sprache:	English
Serie:	Wiley Series on Parallel and Distributed Computing
Dimensionen:	H 243 mm / B 163 mm / D 22 mm
Gewicht:	544 gr
Seiten:	248
Illustration:	Drawings: 56 B&W, 0 Color
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.