Limit search to items available for checkout
BOOK
Title Formal methods for industrial critical systems / María Alpuente, Byron Cooker, Christophe Joubert, (eds.).
Imprint Berlin ; London : Springer, 2009.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.9.F67 I63 2009    AVAILABLE
Description x, 212 p. : ill. ; 24 cm.
Series Lecture notes in computer science ; 5825.
Note Selected conference papers.
Bibliog. Includes bibliographical references and index.
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Other Author Alpuente, María.
Cook, Byron.
Joubert, Christophe.