Enlarge

Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings

Publication Data

Title Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings
Contributors Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Topics

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

Catalogue Data

OBNB ID GBB5F0838
ISBN 10 3319254227
ISBN 13 9783319254227
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xxv, 436 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 and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. ISBN 9783319254227. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.