Principles of model checking :: Christel Baier :: ISBN 9780262026499 :: MIT 2008 :: OBNB, the Open British National Bibliography

Publication Data

Title Principles of model checking
Author Christel Baier
Contributor Joost-Pieter Katoen
Publisher MIT
Publication date 2008
Publication location Cambridge, Mass.
Language English

Topics

Computer systems :: Verification
014566457

Catalogue Data

OBNB ID GBA847597
ISBN 10 026202649X
ISBN 13 9780262026499
Type BibliographicResource, Book
Dewey Classification 004.24

ISBD

P1053 xvii, 975 p.
P1042 Includes bibliographical references (p. 931-964) and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Principles of model checking by Christel Baier. ISBN 9780262026499. Published by MIT in 2008. Publication and catalogue information, links to buy online and reader comments.