
Verification of Sequential and Concurrent Programs
- Författare
- Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog
- Upplaga
- Third Edition 2009
- ISBN
- 9781848827448
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2009-10-05
- Förlag
- Springer London Ltd
- Sidor
- 502
