Web Services Formal Methods and Behavioral Types

Entdecken Sie in diesem Band die neuesten Forschungsergebnisse des WS‑FM 2014: von formalen Verifikationsmethoden über Typensysteme für Web‑Serv ...
And Behavioral Formal Methods
Wo zu kaufen (3) Eigenschaften
Gesponsert
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Papers (Lecture Notes in Computer Science)
Medimops DE
44.94 EUR
Preis aktualisiert am: 15-06-2026 08:01:43
Siehe Produktangebot
Gesponsert
Web Services, Formal Methods, and Behavioral Types
SpringerLink DE
44.94 EUR
Preis aktualisiert am: 15-06-2026 15:14:19
Siehe Produktangebot
Gesponsert
Web Services, Formal Methods, and Behavioral Types, Fachbücher von Jan Martijn van der Werf, Thomas Hildebrandt, Matthias Weidlich, António Ravara
Galaxus.de
44.94 EUR
Preis aktualisiert am: 15-06-2026 04:04:05
Siehe Produktangebot

Allgemein

Marke
Thomas Hildebrandt
ISBN
Thomas Hildebrandt 3319336118

Eigenschaften

Ähnliche Produkte

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Lecture Notes in Computer Science, Band 7843)
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Lecture Notes in Computer Science, Band 7843)
Produkt anzeigen
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Lecture Notes in Computer Science, Band 8379)
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Lecture Notes in Computer Science, Band 8379)
Produkt anzeigen
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science, Band 4184)
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science, Band 4184)
Produkt anzeigen
Web Services Formal Methods and Behavioral Types
Web Services Formal Methods and Behavioral Types
Produkt anzeigen
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Produkt anzeigen
Menü