01737nam0 2200313 i 450 VAN0011261120240806100746.848978-02-620-2649-920171128d2008 |0itac50 baengUS|||| |||||Principles of model checkingChristel Baier, Joost-Pieter KatoenCambridge [Mass.]MIT2008XVII, 963 p.ill.26 cm68-XXComputer science [MSC 2020]VANC019670MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MF68Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]VANC031034MFUSCambridge <Mass.>VANL000513BaierChristelVANV086826312039KatoenJoost-PieterVANV086827312040MIT <editore>VANV111700650ITSOL20240906RICAhttps://books.google.it/books?id=5dvxCwAAQBAJ&printsec=frontcover&dq=*Principles+of+model+checking&hl=it&sa=X&ved=0ahUKEwisv4XzqeHXAhUEOxQKHTVeDSkQ6AEIJjAA#v=onepage&q&f=falsehttps://books.google.it/books?id=5dvxCwAAQBAJ&printsec=frontcover&dq=*Principles+of+model+checking&hl=it&sa=X&ved=0ahUKEwisv4XzqeHXAhUEOxQKHTVeDSkQ6AEIJjAA#v=onepage&q&f=falseBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00112611BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 0226 08DMF166 I 20171128 BuonoPrinciples of model checking808156UNICAMPANIA