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



Contact for Queries: skpathak@iiserb.ac.in