Tell your friends about this item:
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme - Springer-Lehrbuch Krzysztof R Apt 1994 edition
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme - Springer-Lehrbuch
Krzysztof R Apt
272 pages
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 21, 1994 |
| ISBN13 | 9783540574798 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 258 |
| Dimensions | 155 × 235 × 57 mm · 385 g |
| Language | German |
More by Krzysztof R Apt
Show allMere med samme udgiver
See all of Krzysztof R Apt ( e.g. Hardcover Book and Paperback Book )