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











































