• Verification of Sequential and...

*Result*: Verification of Sequential and Concurrent Programs

*Title*:
Verification of Sequential and Concurrent Programs / by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
*Author/editor-in-chief*:
Apt, Krzysztof R (Verfasser); de Boer, Frank S (Verfasser); Olderog, Ernst-Rüdiger (Verfasser)
*Edition*:
3rd ed. 2009
*Publication*:
London : Springer London, 2009
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XXIV, 502 Seiten) : 26 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Texts in Computer Science, ISSN 1868-095X
*Other edition entry*:
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*
*Subject Added Keywords*:
*ISBN*:
9781848827455 ; 1848827458 ; 9781848827448 (Sekundärausgabe) ; 9781848827462 (Sekundärausgabe) ; 9781447125136 (Sekundärausgabe)
*DOI*:
10.1007/978-1-84882-745-5

*Additional information*

*Additional functions*