Faites connaître cet article à vos amis:
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition
Cliff Jones
Prix
€ 119,49
Commandé depuis un entrepôt distant
Livraison prévue 18 - 27 nov.
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition
Cliff Jones
The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
750 pages, 185 black & white illustrations, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 9 avril 2014 |
| ISBN13 | 9783319064093 |
| Éditeurs | Springer International Publishing AG |
| Pages | 750 |
| Dimensions | 155 × 235 × 39 mm · 1,06 kg |
| Langue et grammaire | French |
| Éditeur | Jones, Cliff |
| Éditeur | Pihlajasaari, Pekka |
| Éditeur | Sun, Jun |
Afficher tout
Plus par Cliff Jones
![Cover for Cliff Jones · Reflections on the Work of C.A.R. Hoare (Paperback Book) [2010 edition] (2014)](https://imusic.b-cdn.net/images/item/original/523/9781447161523.jpg?cliff-jones-2014-reflections-on-the-work-of-c-a-r-hoare-paperback-book&class=scaled&v=1445781721)
Voir tous les Cliff Jones ( par ex. Paperback Book et Hardcover Book )