Integrated Formal Methods
| ISBN: | 9783540411963 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 446 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 18.10.2000 |
| Untertitel: | Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings |
| Schlagworte: | Formal Methods Formal Notations Formal Specification Formal Validation Formal Verification Mathematics of Program Construction Program Analysis Program Semantics Programmic Logics Reactive Systems |