FM 2015 : Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings :: ISBN 9783319192482 :: Springer 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title FM 2015 : Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings
Contributors Nikolaj Björner, Frank S. de Boer
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Descriptive Notes

Selected conference papers.
"ISSN 1611-3349 (electronic)"--Title page verso.

Topics

Formal methods (Computer science) :: Congresses
Computer software :: Development :: Congresses
System design :: Mathematics :: Congresses

Catalogue Data

OBNB ID GBB584176
ISBN 10 3319192485
ISBN 13 9783319192482
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xvi, 610 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:

FM 2015 : Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings. ISBN 9783319192482. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.