
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
- 9781447125136
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-03-14
- Förlag
- Springer London Ltd
- Sidor
- 502
