Enlarge

FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings

Publication Data

Title FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
Contributors José N. Oliveira, Pamela Zave
Publisher Springer
Publication date 2001
Publication location Berlin
Language English

Topics

Computer software :: Development :: Congresses

Catalogue Data

OBNB ID GBA119062
ISBN 10 3540417915
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xii, 628 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:

FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings. ISBN 3540417915. Published by Springer in 2001. Publication and catalogue information, links to buy online and reader comments.