FM 2006: Formal Methods
| ISBN: | 9783540372158 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 620 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Misra, Jayadev Nipkow, Tobias Sekerinski, Emil |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 10.08.2006 |
| Untertitel: | 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings |
| Schlagworte: | Refactoring Resolution algebraic methods algorithm formal methods formal specification formal testing formal verification java programming model checking |