Programmverifikation
Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)
Edición de la obra Programmverifikation
| Autor | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 24, 1996 |
| Idioma | alemán |
| Páginas | 258 |
| Formato | Paperback |
| ISBN-13 | 9783540574798 |
| ISBN-10 | 3540574794 |
| Número de Cutter | A655p |