Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 21 de marzo de 1994 |
| ISBN13 | 9783540574798 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 258 |
| Dimensiones | 155 × 235 × 57 mm · 385 g |
| Lengua | Alemán |
Mas por Krzysztof R Apt
Mostrar todoMere med samme udgiver
Ver todo de Krzysztof R Apt ( Ej. Hardcover Book y Paperback Book )