Programmverifikation
Sequentielle, parallele und verteilte Programme
Edición de la obra Programmverifikation
| Autor | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 1994 |
| Lugar | Berlin, Heidelberg |
| Idioma | alemán |
| Formato | [Elektronische Ressource] |
| ISBN-13 | 9783642579479 |
| ISBN-10 | 3642579477 |
| OCLC | 725341232 |
| Serie | Springer-Lehrbuch |