A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types

€ 49,99

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. An English-language digital edition by Thomas Hildebrandt (Editor); António Ravara (Editor); Jan Martijn van der Werf (Editor); Matthias Weidlich (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2565974 Category:

Description

About this book

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the…

Catalogue preview, eBooks.com

Edition details

  • Author / contributors: Thomas Hildebrandt (Editor); António Ravara (Editor); Jan Martijn van der Werf (Editor); Matthias Weidlich (Editor)
  • Publisher: Springer International Publishing
  • Publication date: April 19, 2016
  • Language: English
  • ISBNs: 9783319336114; 9783319336121
  • Digital formats: PDF

Additional information

Author

Thomas Hildebrandt (Editor); António Ravara (Editor); Jan Martijn van der Werf (Editor); Matthias Weidlich (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319336114, 9783319336121
Format

PDF
Publication date

April 19, 2016
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Web Services, Formal Methods, and Behavioral Types”

Your email address will not be published. Required fields are marked *

Related products