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:
Beschreibung:XVII, 364 S.
ISBN:0387948961

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!