Reactive systems modelling, specification and verification

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Aceto, Luca (VerfasserIn)
Weitere Verfasser:	Anna Ingólfsdóttir (VerfasserIn), Guldstrand Larsen, Kim (VerfasserIn), Srba, Jiří (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge Cambridge Univ. Press 2007
Schlagworte:	Reaktives System - Lehrbuch > Mathematisches Modell > Expert systems (Computer science) > Validation > Verification > System design > Mathematical models > Reaktives System > Softwarespezifikation > Programmverifikation
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	xvi, 284 Seiten Diagramme
ISBN:	9780521875462 978-0-521-87546-2