• Verification of Sequential and...
  • Bestand

Treffer: Verification of Sequential and Concurrent Programs

Titel:
Verification of Sequential and Concurrent Programs / by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Verantwortlich:
Apt, Krzysztof R (Verfasser); de Boer, Frank S (Verfasser); Olderog, Ernst-Rüdiger (Verfasser)
Ausgabe:
3rd ed. 2009
Veröffent­licht:
London : Springer London, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXIV, 502 Seiten) : 26 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Texts in Computer Science, ISSN 1868-095X
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. - London : Springer London, 2009. - ISBN 9781848827448
RVK-Notation:
ST 134 ST 230 ST 240 ST 233 ST 140 ST 120
Schlagworte:
ISBN:
9781848827455 ; 1848827458 ; 9781848827448 (Sekundärausgabe) ; 9781848827462 (Sekundärausgabe) ; 9781447125136 (Sekundärausgabe)
DOI:
10.1007/978-1-84882-745-5

Zusatz-Informationen

Zusatz-Funktionen