Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 2012 : proceedings :: ISBN 9783642338250 :: Springer 2012 :: OBNB, the Open British National Bibliography

Publication Data

Title Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 2012 : proceedings
Alternative Title SEFM 2012
Contributors George Eleftherakis, Michael G. Hinchey, W. M. L. Holcombe
Publisher Springer
Publication date 2012
Publication location Heidelberg
Language English

Descriptive Notes

Also issued online.

Topics

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

Catalogue Data

OBNB ID GBB2A8381
ISBN 10 3642338259
ISBN 13 9783642338250
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xiii, 384 p.
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 : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 2012 : proceedings. ISBN 9783642338250. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.