Verification of sequential and concurrent programs:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Apt, Krzysztof R. 1949- (VerfasserIn), Boer, Frank S. de 1956- (VerfasserIn), Olderog, Ernst-Rüdiger 1955- (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Dordrecht ; Heidelberg ; London ; New York Springer [2009]
Ausgabe:Third, extended edition
Schriftenreihe:Texts in computer science
Schlagworte:
Beschreibung:xxiii, 502 Seiten Illustrationen
ISBN:9781848827448
9781447125136

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!