Formal methods for industrial critical systems :: ISBN 9783642045691 :: Springer 2009 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal methods for industrial critical systems
Contributors María Alpuente, Byron Cook, Christophe Joubert
Publisher Springer
Publication date 2009
Publication location Berlin
Language English

Descriptive Notes

Selected conference papers.

Topics

Formal methods (Computer science) :: Congresses
Software engineering :: Congresses
Computer programs :: Verification :: Congresses

Catalogue Data

OBNB ID GBA9A2957
ISBN 10 3642045693
ISBN 13 9783642045691
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 x, 212 p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Formal methods for industrial critical systems. ISBN 9783642045691. Published by Springer in 2009. Publication and catalogue information, links to buy online and reader comments.