- Libri preferiti
Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Titolo uniforme: Model checking
Autore principale: Clarke, Edmund M., 1945- ; Grumberg, Orna ; Peled, Doron A., 1962-
Pubblicazione: Cambridge, Mass. ; London : The MIT press, 1999
Tipo di risorsa: testo, Livello bibliografico: monografia, Lingua: eng, Paese: US
Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record
Record aggiornato il: 2025-09-23T02:07:20.377Z