01486nam0 2200301 i 450 SUN011261120171128020154.690978-02-620-2649-90.0020171128d2008 |0engc50 baengUS|||| |||||*Principles of model checkingChristel Baier, Joost-Pieter KatoenCambridge [Mass.]MIT2008XVII, 963 p.ill.26 cm.68-XXComputer science [MSC 2020]MFSUNC01967068Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]MFSUNC02455068Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]MFSUNC031034USCambridge <Mass.>SUNL000513Baier, ChristelSUNV086826312039Katoen, Joost-PieterSUNV086827312040MITSUNV005769650ITSOL20200928RICAhttps://books.google.it/books?id=5dvxCwAAQBAJ&printsec=frontcover&dq=*Principles+of+model+checking&hl=it&sa=X&ved=0ahUKEwisv4XzqeHXAhUEOxQKHTVeDSkQ6AEIJjAA#v=onepage&q&f=falseSUN0112611UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 0226 08DMF166 I 20171128 BuonoPrinciples of model checking808156UNICAMPANIA