Produktinformationen "Verification, Model Checking, and Abstract Interpretation"
| ISBN: | 9783540436317 |
|---|---|
| Verlag: | Springer Berlin |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 331 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Cortesi, Agostino |
| Erscheinungsdatum: | 24.04.2002 |
| Verlag: | Springer Berlin |
| Untertitel: | Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers |
| Schlagworte: | Abstract Interpretation Concurrent Systems Correct System Design Formal Methods Program Analysis Program Optimization Program Semantics Program Specification Program Verification Reactive Systems |