Principles of model checking
Baier, Christel
Principles of model checking Christel Baier, Joost-Pieter Katoen. - Cambridge, Massachusetts The MIT Press 2008 - xvii, 963p. : ill. ; 26 cm.
Includes bibliographical references (p. 931-964) and index.
9780262026499 (hardcover : alk. paper) $ 80.00 026202649X (hardcover : alk. paper) = EECS eecs collection
2007037603
GBA847597 bnb
014566457 Uk
Computer systems--Verification.
Computer software--Verification.
004.24 B149P
Principles of model checking Christel Baier, Joost-Pieter Katoen. - Cambridge, Massachusetts The MIT Press 2008 - xvii, 963p. : ill. ; 26 cm.
Includes bibliographical references (p. 931-964) and index.
9780262026499 (hardcover : alk. paper) $ 80.00 026202649X (hardcover : alk. paper) = EECS eecs collection
2007037603
GBA847597 bnb
014566457 Uk
Computer systems--Verification.
Computer software--Verification.
004.24 B149P