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
We couldn't estimate the reading time for this book.
Author
Contributions
- International Institute for Software Technology - Contributor
Publication
2003 - Springer, Berlin, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
[Elektronische Ressource]
Identifiers
- Internet Archiveformalmethodsatc00maib
- ISBN-103540400079
- ISBN-139783540400073
- OCLC Control Number723086987
- Better World Books9783540400073
and 1 more
- Open LibraryOL27039459M
Classifications
- LCCQA76.758
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!