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


















































