Freunden von diesem Artikel berichten:
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition
Jim Davies
Preis
NOK 1.289
Bestellware
Lieferdatum: ca. 27. Jun - 9. Jul
Zu deiner iMusic Wunschliste hinzufügen
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition
Jim Davies
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
662 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 22. Juni 2007 |
| ISBN13 | 9783540732099 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 662 |
| Maße | 155 × 235 × 34 mm · 929 g |
| Sprache | Französisch |
| Redakteur | Davies, Jim |
| Redakteur | Gibbons, Jeremy |
Alle anzeigen
Weitere Titel von Jim Davies
![Cover for Jim Davies · Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/416/9783540238416.jpg?jim-davies-2004-formal-methods-and-software-engineering-6th-international-conference-on-formal-engineering-methods-icfem-2004-seattle-wa-usa-november-8-12-2004-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1510750583)
Alle Titel von Jim Davies ansehen ( u. a. CD , Taschenbuch , Gebundenes Buch und Buch )