

Programmverifikation
- Undertitel
- Sequentielle, parallele und verteilte Programme
- Författare
- Ernst-Rudiger Olderog, Krzysztof R. Apt
- ISBN
- 9783642579479
- Språk
- Tyska
- Utgivningsdatum
- 2013-03-07
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
