Verification of sequential and concurrent programs

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Apt, Krzysztof R. 1949- (VerfasserIn), Olderog, Ernst-Rüdiger 1955- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	New York u.a. Springer 1997
Ausgabe:	2. ed.
Schriftenreihe:	Graduate texts in computer science
Schlagworte:	Software Verificatie Computer software > Verification Programmverifikation Verifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge