Principles of model checking
Baier, Christel
Principles of model checking Christel Baier, Joost-Pieter Katoen - Cambridge, Mass The MIT Press [2008] - xvii, 975 p ill 26 cm
Contine Bibliografie si Index
eng
9780262026499 (hardcover : alk. paper) 026202649X (hardcover : alk. paper)
2007037603
Computer systems--Verification
Computer software--Verification
004.24
Principles of model checking Christel Baier, Joost-Pieter Katoen - Cambridge, Mass The MIT Press [2008] - xvii, 975 p ill 26 cm
Contine Bibliografie si Index
eng
9780262026499 (hardcover : alk. paper) 026202649X (hardcover : alk. paper)
2007037603
Computer systems--Verification
Computer software--Verification
004.24