Tipsa dina vänner om produkten:
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition
Cliff Jones
Pris
SEK 1.379
Beställningsvara
Förväntad leverans 15 - 26 nov
Lägg till din iMusic-önskelista
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
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 9 april 2014 |
| ISBN13 | 9783319064093 |
| Utgivare | Springer International Publishing AG |
| Antal sidor | 750 |
| Mått | 155 × 235 × 39 mm · 1,06 kg |
| Språk | Franska |
| Redaktör | Jones, Cliff |
| Redaktör | Pihlajasaari, Pekka |
| Redaktör | Sun, Jun |
Visa alla
Fler produkter med Cliff Jones
![Cover for Cliff Jones · Reflections on the Work of C.A.R. Hoare (Pocketbok) [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-pocketbok&class=scaled&v=1445781721)
Se alt med Cliff Jones ( t.ex. Pocketbok och Inbunden Bok )