FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings :: ISBN 9783540278825 :: Springer 2005 :: OBNB, the Open British National Bibliography

Publication Data

Title FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings
Contributors John Fitzgerald, Ian Hayes, Andrzej Tarlecki, Formal Methods Europe, Centre for Software Reliability
Publisher Springer
Publication date 2005
Publication location Berlin
Language English

Topics

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

Catalogue Data

OBNB ID GBA564346
ISBN 10 3540278826
ISBN 13 9783540278825
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xiv, 558 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:

FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings. ISBN 9783540278825. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.