Symbolic model checking
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Livre papier |
| Jezik: | Anglais |
| Izdano: |
Boston :
Kluwer Academic
cop. 1993.
|
| Teme: | |
| Autres localisations: | Voir dans le Sudoc |
| Opis: | 1 vol. (XV-194 p.) : ill. ; 28 cm. |
|---|---|
| Bibliografija: | Bibliogr. p. 183-190. Index |
| ISBN: | 0792393805 |