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


















































