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 (2) 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: 04-08-2026 18:14:55
Siehe Produktangebot
Gesponsert
Web Services, Formal Methods, and Behavioral Types
SpringerLink DE
50.00 EUR
Preis aktualisiert am: 04-08-2026 13:53:09
Siehe Produktangebot

Allgemein

Marke
Thomas Hildebrandt
ISBN
Thomas Hildebrandt 3319336118

Eigenschaften

Ähnliche Produkte

Web Services Formal Methods and Behavioral Types
Web Services Formal Methods and Behavioral Types
Produkt anzeigen
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 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ü