FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering - Cliff Jones - Książki - Springer International Publishing AG - 9783319064093 - 9 kwietnia 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition

Cliff Jones

Cena
zł 516,90

Zamówione z odległego magazynu

Przewidywana dostawa 18 - 27 lis
Dodaj do swojej listy życzeń iMusic

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 9 kwietnia 2014
ISBN13 9783319064093
Wydawcy Springer International Publishing AG
Strony 750
Wymiary 155 × 235 × 39 mm   ·   1,06 kg
Język French  
Redaktor Jones, Cliff
Redaktor Pihlajasaari, Pekka
Redaktor Sun, Jun

Pokaż wszystko

Więcej od Cliff Jones