Principles of model checking / Christel Baier, Joost-Pieter Katoen

• Autore: Baier, Christel
• Pubblicazione: Cambridge [Mass.], : MIT, 2008
• Descrizione fisica: XVII, 963 p. : ill. ; 26 cm
• Soggetto topico: 68-XX - Computer science [MSC 2020]; 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020]; 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]
• Altri autori: Katoen, Joost-Pieter
• Titolo autorizzato: Principles of model checking
• ISBN: 978-02-620-2649-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0112611
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://books.google.it/books?id=5dvxCwAAQBAJ&printsec=frontcover&dq=*Principles+of+model+checking&hl=it&sa=X&ved=0ahUKEwisv4XzqeHXAhUEOxQKHTVeDSkQ6AEIJjAA#v=onepage&q&f=false