Programmverifikation Sequentielle, parallele und verteilte Programme
Sale price
$35.96
Regular price $39.95
Skip to product information
Programmverifikation Sequentielle, parallele und verteilte Programme
Sale price
$35.96
Regular price $39.95
Reliable shipping
Flexible returns
Springer-Lehrbuch
Programmverifikation
Sequentielle, parallele und verteilte Programme
Krzysztof R. Apt | Ernst-Rüdiger Olderog
Computers / Computer Architecture
| Publication Date: | 21 March 1994 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540574798 |
| Format: | Paperback / softback |
| Page Count: | 258 |