Verifikation digitaler Systeme
Eine Einführung in den Entwurf korrekter digitaler Systeme
Edición de la obra Verifikation digitaler Systeme
| Autor | Hans Eveking |
|---|---|
| Editorial | Vieweg+Teubner Verlag |
| Fecha de publicación | 1991 |
| Lugar | Wiesbaden |
| Idioma | alemán |
| Formato | Elektronische Ressource |
| ISBN-13 | 9783322946843 |
| ISBN-10 | 3322946843 |
| OCLC | 864038228 |
| Serie | Leitfäden und Monographien der Informatik |
| Número de Cutter |