Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 Paper

Language EnglishEnglish
Book Paperback
Book Web Services, Formal Methods, and Behavioral Types Thomas Hildebrandt
Libristo code: 02975374
Publishers Springer International Publishing AG, April 2016
This volume§contains the refereed joint proceedings of two initiatives that have been§devoted to the... Full description
? points 114 b
16 665 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kaligrafia matematyczna 1 Guzowska Beata / Book Paperback
common.buy 819 Ft
Don Juan František Gellner / Book Hardback
common.buy 3 166 Ft
Magazin fur die pfalzische Geschichte Wundt Daniel Ludwig Wundt / Book Paperback
common.buy 10 682 Ft
System Der Aesthetik Oder Der Philosophie Des Schönen Und Der Schönen Kunst Karl Christian Friedrich Krause / Book Paperback
common.buy 9 881 Ft
La lyre et le caducée Gautier / Book Paperback
common.buy 7 299 Ft
Soziale Benachteiligung Und Gesundheit Bei Kindern Und Jugendlichen Monika Jungbauer-Gans / Book Paperback
common.buy 18 156 Ft
Collezione Jatta Fasc. VI. Ruvo di Puglia. Ceramica Attica a Figure Rosse e a Figure Nere: Corpus Vasorum Antiquorum. Italia, LXXXVI Giudice Book Hardback
common.buy 180 429 Ft
Poesias Ventura Ruiz Aguilera / Book Paperback
common.buy 7 354 Ft
Wie Lehre Ich Die Bibel, Damit Menschen Gott Begegnen? ANDREW PAGE / Book Paperback
common.buy 5 399 Ft
Love of Kill. Tom 7 Fe / Book Paperback
common.buy 2 352 Ft
Der Weg der Wahrhaftigkeit. Das philosophische Fundament chinesischen Denkens Waltraud John / Book Hardback
common.buy 2 145 Ft

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.§

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Web Services, Formal Methods, and Behavioral Types
Author Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 167
EAN 9783319336114
ISBN 3319336118
Libristo code 02975374
Publishers Springer International Publishing AG
Weight 2934
Dimensions 155 x 235 x 237

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Prevention of Pollution of the Marine Environment from Vessels Md Saiful Karim / Book Hardback
common.buy 47 404 Ft
KI 2014: Advances in Artificial Intelligence Carsten Lutz / Book Paperback
common.buy 19 818 Ft
Sustainable Synthesis of Pharmaceuticals Mariette M. Pereira / Book Hardback
common.buy 85 930 Ft
The Woods / Book Paperback
common.buy 3 778 Ft
Fabrication of Micro/Nano Structures via Precision Machining Suet To / Book Paperback
common.buy 67 106 Ft
IF THE VILLAINESS & VILLAIN MET V02 {LN} V02 / Book Paperback
common.buy 4 713 Ft
Precarious Life Willis / Book Hardback
common.buy 49 636 Ft
Eco Soma Petra Kuppers / Book Hardback
common.buy 45 636 Ft
Top
Slightly Alarming Tale of the Whispering Wars Jaclyn Moriarty / Book Paperback
common.buy 3 677 Ft
Reparation for Victims of Armed Conflict Shuichi Furuya / Book Hardback
common.buy 53 226 Ft
General History, Cyclopedia and Dictionary of Freemasonry Robert Macoy / Book Paperback
common.buy 14 916 Ft
Legends `O the Bells Ernest Morris / Book Paperback
common.buy 10 595 Ft
Vietnam Inc Ibp / Book Paperback
common.buy 36 515 Ft
Some Belding Genealogy Charles C B 1832 Whitney / Book Hardback
common.buy 14 378 Ft
The Dancing Tree: and other short stories to capture the imagination of young children Mrs Sandra Skelton / Book Paperback
common.buy 3 778 Ft
Reports of the Trials of Colonel Aaron Burr, (Late Vice President of the United States, ) for Treason, and for a Misdemeanor, in Preparing the Means o David Robertson / Book Paperback
common.buy 12 040 Ft
History and Antiquities of the Parish Church of Wyke, Near Winchester. Francis Joseph Baigent / Book Paperback
common.buy 5 500 Ft
History of the United Netherlands, 1587b John Lothrop Motley / Book Paperback
common.buy 3 153 Ft
Perceiving the World Bence Nanay / Book Paperback
common.buy 21 120 Ft
125 Best Fondue Recipes Ilana Simon / Book Paperback
common.buy 5 707 Ft
Bank Capital and Risk-Taking Stéphanie M. Stolz / Book Hardback
common.buy 39 520 Ft
Not Proven, Etc. [A Novel. by Christina B. Cameron, Hurst and Blackett.] Christina Cameron / Book Paperback
common.buy 9 209 Ft
Only Good Can Come Out of This Murphy / Book Hardback
common.buy 12 362 Ft
First Christmas Present Ever Sherry Sanders / Book Paperback
common.buy 3 765 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?