Apt, Krzysztof R. (Autor)
Boer, Frank S. de (Autor)
Olderog, Ernst-Rüdiger (Autor)
Verification of Sequential and Concurrent Programs
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-84882-745-5 |
|---|---|
| Seitenzahl | 526 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 4023 Kbytes |