Formal Methods and Software Engineering
| ISBN: | 9783540297970 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 502 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Banach, Richard Lau, Kung-Kiu |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 27.10.2005 |
| Untertitel: | 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings |
| Schlagworte: | Simulation Software Engineering UML Unified Modeling Language (UML) algorithms formal method formal specification formal verification logic modeling |