
Verification of Sequential and Concurrent Programs
- Kirjailija
- Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog
- Painos
- Third Edition 2009
- ISBN
- 9781848827448
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 5.10.2009
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 502