Von dem Buch Web Services, Formal Methods, and Behavioral Types haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Thomas Hildebrandt: Web Services, Formal Methods, and Behavioral Types (ISBN: 9783319336121) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Herausgegeben von Hildebrandt, Thomas Ravara, António van der Werf, Jan Martijn Weidlich, Matthias: Web Services, Formal Methods, and Behavioral Types, 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers (ISBN: 9783319336114) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Web Services, Formal Methods, and Behavioral Types - 13 Angebote vergleichen
| Preise | 2016 | 2019 | 2023 |
|---|---|---|---|
| Schnitt | € 42,96 | € 36,66 | € 35,30 |
| Nachfrage |
1
Web Services, Formal Methods, and Behavioral Types
DE PB NWISBN: 9783319336114 bzw. 3319336118, in Deutsch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models service-oriented systems, and behavioral types. 1st ed. 2016. 2016. xvii, 167 S. 36 SW-Abb. 235 mm Sofort lieferbar, Softcover, Neuware.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models service-oriented systems, and behavioral types. 1st ed. 2016. 2016. xvii, 167 S. 36 SW-Abb. 235 mm Sofort lieferbar, Softcover, Neuware.
2
Symbolbild
Web Services, Formal Methods, and Behavioral Types (2016)
DE PB NWISBN: 9783319336114 bzw. 3319336118, in Deutsch, Springer-Verlag Gmbh Apr 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Agrios-Buch [57449362], Bergisch Gladbach, Germany.
Neuware - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 156 pp. Englisch.
Von Händler/Antiquariat, Agrios-Buch [57449362], Bergisch Gladbach, Germany.
Neuware - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 156 pp. Englisch.
3
Symbolbild
Web Services, Formal Methods, and Behavioral Types (2016)
DE PB NWISBN: 9783319336114 bzw. 3319336118, in Deutsch, Springer-Verlag Gmbh Apr 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Neuware - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 156 pp. Englisch.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Neuware - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 156 pp. Englisch.
4
Symbolbild
Web Services, Formal Methods, and Behavioral Types (2016)
DE PB NWISBN: 9783319336114 bzw. 3319336118, in Deutsch, Springer-Verlag Gmbh Apr 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Neuware - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 156 pp. Englisch.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Neuware - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 156 pp. Englisch.
5
Web Services, Formal Methods, and Behavioral Types (2015)
~EN PB NWISBN: 9783319336114 bzw. 3319336118, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. Soft cover.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. Soft cover.
6
Web Services, Formal Methods, and Behavioral Types (2015)
DE NW EB DLISBN: 9783319336121 bzw. 3319336126, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. eBook.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. eBook.
7
Web Services, Formal Methods, and Behavioral Types (2016)
EN NW EB DLISBN: 9783319336121 bzw. 3319336126, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, in-stock.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM: FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM: FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.
8
Web Services, Formal Methods, and Behavioral Types, 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers (2015)
DE NW EBISBN: 9783319336121 bzw. 3319336126, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Niederlande, Direct beschikbaar.
bol.com.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took plac... This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. Productinformatie:Taal: Engels;Formaat: ePub met kopieerbeveiliging (DRM) van Adobe;Kopieerrechten: Het kopiëren van (delen van) de pagina's is niet toegestaan ;Geschikt voor: Alle e-readers te koop bij bol.com (of compatible met Adobe DRM). Telefoons/tablets met Google Android (1.6 of hoger) voorzien van bol.com boekenbol app. PC en Mac met Adobe reader software;ISBN10: 3319336126;ISBN13: 9783319336121; Engels | Ebook.
bol.com.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took plac... This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. Productinformatie:Taal: Engels;Formaat: ePub met kopieerbeveiliging (DRM) van Adobe;Kopieerrechten: Het kopiëren van (delen van) de pagina's is niet toegestaan ;Geschikt voor: Alle e-readers te koop bij bol.com (of compatible met Adobe DRM). Telefoons/tablets met Google Android (1.6 of hoger) voorzien van bol.com boekenbol app. PC en Mac met Adobe reader software;ISBN10: 3319336126;ISBN13: 9783319336121; Engels | Ebook.
9
Web Services, Formal Methods, and Behavioral Types
DE NWISBN: 9783319336114 bzw. 3319336118, in Deutsch, Springer-Verlag GmbH, neu.
Lieferung aus: Deutschland, zzgl. Versandkosten.
Web Services, Formal Methods, and Behavioral Types:11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers Lecture Notes in Computer Science Programming and Software Engineering. 1st ed. 2016 Web Services, Formal Methods, and Behavioral Types:11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers Lecture Notes in Computer Science Programming and Software Engineering. 1st ed. 2016.
Web Services, Formal Methods, and Behavioral Types:11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers Lecture Notes in Computer Science Programming and Software Engineering. 1st ed. 2016 Web Services, Formal Methods, and Behavioral Types:11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers Lecture Notes in Computer Science Programming and Software Engineering. 1st ed. 2016.
10
Web Services, Formal Methods, and Behavioral Types (2016)
EN NW EB DLISBN: 9783319336121 bzw. 3319336126, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Kanada, in-stock.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM: FASOCC 2014 and WS-FM/BEAT 2015.The 11th International Workshop on Web Services.
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM: FASOCC 2014 and WS-FM/BEAT 2015.The 11th International Workshop on Web Services.
Lade…