FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Procee
111.11 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10450072
Beschreibung
Interdisciplinary formal methods.- Formal methods in practice.- Tools for formal methods.- Role of formal methods in software and systems engineering.- Theoretical foundations.
Eigenschaften
Breite: | 155 |
Gewicht: | 1212 g |
Höhe: | 238 |
Länge: | 45 |
Seiten: | 789 |
Sprachen: | Englisch |
Autor: | Anna Philippou, Constance Heitmeyer, John Fitzgerald, Stefania Gnesi |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen