Principles of model checking
Baier, Christel
Principles of model checking Christel Baier, Joost-Pieter Katoen. - Cambridge, : MIT Press, ©2008. - xvii, 975 p. : ill. ; 26 cm.
Includes bibliographical references (p. 931-964) and index.
9780262026499
2007037603
GBA847597 bnb
014566457 Uk
Computer systems--Verification.
Computer software--Verification.
QA76.76.V47 / B35 2008
004.2
Principles of model checking Christel Baier, Joost-Pieter Katoen. - Cambridge, : MIT Press, ©2008. - xvii, 975 p. : ill. ; 26 cm.
Includes bibliographical references (p. 931-964) and index.
9780262026499
2007037603
GBA847597 bnb
014566457 Uk
Computer systems--Verification.
Computer software--Verification.
QA76.76.V47 / B35 2008
004.2