Freunden von diesem Artikel berichten:
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition
Cliff Jones
Preis
Fr. 106,49
Bestellware
Lieferdatum: ca. 18. - 27. Nov
Zu deiner iMusic Wunschliste hinzufügen
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
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 9. April 2014 |
ISBN13 | 9783319064093 |
Verlag | Springer International Publishing AG |
Seitenanzahl | 750 |
Maße | 155 × 235 × 39 mm · 1,06 kg |
Sprache | Französisch |
Redakteur | Jones, Cliff |
Redakteur | Pihlajasaari, Pekka |
Redakteur | Sun, Jun |
Alle anzeigen
Weitere Titel von Cliff Jones
Alle Titel von Cliff Jones ansehen ( u. a. Taschenbuch und Gebundenes Buch )