Principles of model checking [[electronic resource] /] / Christel Baier, Joost-Pieter Katoen
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Baier Christel
|
| Titolo: |
Principles of model checking [[electronic resource] /] / Christel Baier, Joost-Pieter Katoen
|
| Pubblicazione: | Cambridge, Mass., : MIT Press, 2008 |
| Descrizione fisica: | 1 online resource (994 p.) |
| Disciplina: | 004.2/4 |
| Soggetto topico: | Computer systems - Verification |
| Computer software - Verification | |
| Soggetto genere / forma: | Electronic books. |
| Altri autori: |
KatoenJoost-Pieter
|
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references (p. 931-964) and index. |
| Titolo autorizzato: | Principles of model checking |
| ISBN: | 1-282-09957-4 |
| 9786612099571 | |
| 0-262-26756-X | |
| 1-4356-4327-5 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910451594003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |