Enlarge

Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings

Publication Data

Title Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Alternative Title SEFM 2015
Contributors Radu C. Calinescu, Bernhard Rumpe
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Topics

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

Catalogue Data

OBNB ID GBB5E3271
ISBN 10 3319229680
ISBN 13 9783319229683
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xi, 368 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:

Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings. ISBN 9783319229683. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.