Logo Regione Toscana

biblio toscana
Cerca
Indietro
testo

Titolo: Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled

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

Dettagli ↓

Quali biblioteche contattare per richiedere questa risorsa

apri il record nella vista accessibile con l'elenco delle Biblioteche

Soggetti / Termini

Dettaglio risultati per rete

Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record

Rete
Numero record
Cod.ISIL
Biblioteche
OPAC
lucca
lucca_LUA1159994
IT-LU0202
Biblioteca IMT, Lucca
Vedi Disponibilità
unifi
unifi_990006924780203299
IT-FI0230
Biblioteca di Scienze tecnologiche dell'Università degli studi di Firenze - Sede di Ingegneria, Firenze
Vedi Disponibilità
unipi
unipi_990006323270203298
IT-PI0348
Biblioteca di Matematica, Informatica, Fisica dell'Università di Pisa, Pisa
Vedi Disponibilità

Record aggiornato il: 2021-09-10T16:11:27.274Z

Seguici su Twitter

I Nostri Social