Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, proceedings :: ISBN 9783642405600 :: Springer 2013 :: OBNB, the Open British National Bibliography

Publication Data

Title Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, proceedings
Contributors Robert M. Hierons, M. G. Merayo, Mario Bravetti
Publisher Springer
Publication date 2013
Publication location New York
Language English

Descriptive Notes

Also issued online.

Topics

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

Catalogue Data

OBNB ID GBB396097
ISBN 10 3642405606
ISBN 13 9783642405600
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xvii, 319 pages
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:

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, proceedings. ISBN 9783642405600. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.