Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings :: ISBN 9783319194578 :: Springer 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings
Alternative Title FMICS 2015
Contributors Manuel Núñez, Matthias Güdemann
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Descriptive Notes

"ISSN 1611-3349 (electronic)"--Title page verso.
"The FMICS 2015 workshop took place as a collocated event of the 20th International Symposium on Formal Methods"--Preface.

Topics

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

Catalogue Data

OBNB ID GBB593035
ISBN 10 3319194577
ISBN 13 9783319194578
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xvi, 211 pages
P1042 Includes bibliographical references and author 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 : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings. ISBN 9783319194578. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.