Enlarge

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University,

Publication Data

Title Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University,
Contributors Bernhard K. Aichernig, Thomas S. E. Maibaum, International Institute for Software Technology
Publisher Springer-Verlag
Publication date 2003
Publication location Berlin
Language English

Topics

Software engineering :: Congresses

Catalogue Data

OBNB ID GBA403747
ISBN 10 3540205276
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

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

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University,. ISBN 3540205276. Published by Springer-Verlag in 2003. Publication and catalogue information, links to buy online and reader comments.