Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Databases

Buy Now

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 (Paperback, 1st ed. 2016) Loot Price: R1,630
Discovery Miles 16 300
Repayment Terms: R153 pm x 12*
Add to cart
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands,...

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 (Paperback, 1st ed. 2016)

Thomas Hildebrandt, Antonio Ravara, Jan Martijn van der Werf, Matthias Weidlich

Series: Lecture Notes in Computer Science, 9421

 (sign in to rate)
Loot Price R1,630 Discovery Miles 16 300 | Repayment Terms: R153 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 9421
Release date: April 2016
First published: 2016
Editors: Thomas Hildebrandt • Antonio Ravara • Jan Martijn van der Werf • Matthias Weidlich
Dimensions: 235 x 155 x 10mm (L x W x T)
Format: Paperback
Pages: 167
Edition: 1st ed. 2016
ISBN-13: 978-3-319-33611-4
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
Books > Computing & IT > Applications of computing > Databases > General
Promotions
LSN: 3-319-33611-8
Barcode: 9783319336114

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Database Principles - Fundamentals of Design, Implementation, and Management (Paperback, 3rd edition): Carlos Coronel, Keeley...
Database Principles - Fundamentals of…
Carlos Coronel, Keeley Crockett, … Paperback R1,163 R1,096 Discovery Miles 10 960
Management Of Information Security (Paperback, 6th Edition): Michael Whitman, Herbert Mattord
Management Of Information Security
Michael Whitman, Herbert Mattord Paperback R1,376 R1,275 Discovery Miles 12 750
Safety of Web Applications - Risks, Encryption and Handling Vulnerabilities with PHP (Hardcover): Eric Quinton
Safety of Web Applications - Risks…
Eric Quinton Hardcover R2,330 Discovery Miles 23 300
Big Data and Smart Service Systems (Hardcover, UK ed.): Xiwei Liu, Rangachari Anand, Gang Xiong, Xiuqin Shang, Xiaoming Liu
Big Data and Smart Service Systems
Xiwei Liu, Rangachari Anand, … Hardcover R1,961 R1,830 Discovery Miles 18 300
Temporal Data Mining via Unsupervised Ensemble Learning (Paperback, UK ed.): Yun Yang
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730
Ontologies, Taxonomies and Thesauri in Systems Science and Systematics (Paperback): Emilia Curras
Ontologies, Taxonomies and Thesauri in…
Emilia Curras Paperback R1,320 Discovery Miles 13 200
Machine Learning and Data Mining (Paperback): I Kononenko, M Kukar
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R1,903 Discovery Miles 19 030
Open Source Database Driven Web Development - A Guide for Information Professionals (Paperback, New): Isaac Dunlap
Open Source Database Driven Web…
Isaac Dunlap Paperback R1,159 Discovery Miles 11 590
Fundamentals of Spatial Information Systems (Hardcover): Robert Laurini, Derek Thompson
Fundamentals of Spatial Information…
Robert Laurini, Derek Thompson Hardcover R1,451 Discovery Miles 14 510
The Data Quality Blueprint - A Practical and Holistic Approach (Hardcover): John Parkinson
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,606 Discovery Miles 16 060
CompTIA Data+ DA0-001 Exam Cram (Digital product license key): Akhil Behl, Sivasubramanian
CompTIA Data+ DA0-001 Exam Cram
Akhil Behl, Sivasubramanian Digital product license key R1,024 Discovery Miles 10 240
BTEC Nationals Information Technology Student Book + Activebook - For the 2016 specifications (Paperback): Jenny Phillips, Alan...
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,018 Discovery Miles 10 180

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners