An edition of Formal methods at the crossroads
(2003)
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, Lisbon, Portugal, March 18-20, 2002 : revised papers
by Bernhard K. Aichernig and Tom Maibaum
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Congresses, Software engineering
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 11, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| September 25, 2024 | Edited by MARC Bot | import existing book |
| January 7, 2023 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 8, 2020 | Edited by MARC Bot | import existing book |
| October 11, 2008 | Created by ImportBot | Imported from Oregon Libraries MARC record |