Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Author Baier, Christel.

Title Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen.

Imprint Cambridge, Mass. : MIT Press, 2008.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description xvii, 975 p. : ill.
Bibliography Includes bibliographical references (p. 931-964) and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Computer systems -- Verification.
Computer software -- Verification.
Genre/Form Electronic books.
Added Author Katoen, Joost-Pieter.
ProQuest (Firm)
ISBN 9780262026499 (hardcover : alk. paper)
026202649X (hardcover : alk. paper)

Available items only