Description: Principles of model checking

Saved in:

Bibliographic Details
:	ProQuest (Firm) Baier, Christel.
TeilnehmendeR:	Katoen, Joost-Pieter. ProQuest (Firm)
Year of Publication:	2008
Language:	English
Online Access:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3338793
Physical Description:	xvii, 975 p. :; ill.
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Bibliography:	Includes bibliographical references (p. 931-964) and index.
ISBN:	9780262026499 (hardcover : alk. paper) 026202649X (hardcover : alk. paper)
Hierarchical level:	Monograph
Statement of Responsibility:	Christel Baier, Joost-Pieter Katoen.