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,717
Discovery Miles 17 170
Repayment Terms: R161 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,717 Discovery Miles 17 170 | Repayment Terms: R161 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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
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,099 R1,001 Discovery Miles 10 010
Management Of Information Security (Paperback, 6th Edition): Michael Whitman, Herbert Mattord
Management Of Information Security
Michael Whitman, Herbert Mattord Paperback R1,321 R1,183 Discovery Miles 11 830
The Data Quality Blueprint - A Practical and Holistic Approach (Hardcover): John Parkinson
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,581 Discovery Miles 15 810
Database Solutions - A step by step guide to building databases (Paperback, 2nd edition): Thomas Connolly, Carolyn Begg
Database Solutions - A step by step…
Thomas Connolly, Carolyn Begg Paperback R2,244 R2,008 Discovery Miles 20 080
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,639 Discovery Miles 16 390
Supercharge Power BI - Power BI is Better When You Learn To Write DAX (Paperback): Matt Allington
Supercharge Power BI - Power BI is…
Matt Allington Paperback R883 R738 Discovery Miles 7 380
Database Systems: The Complete Book - Pearson New International Edition (Paperback, 2nd edition): Hector Garcia-Molina, Jeffrey...
Database Systems: The Complete Book…
Hector Garcia-Molina, Jeffrey Ullman, … Paperback R2,539 Discovery Miles 25 390
Intro to Python for Computer Science and Data Science: Learning to Program with AI, Big Data and The Cloud, Global Edition...
Intro to Python for Computer Science and…
Paul Deitel Paperback R2,179 R2,029 Discovery Miles 20 290
Database Design & Management Using Access (Hardcover): Nick Dowling
Database Design & Management Using…
Nick Dowling Hardcover R3,694 Discovery Miles 36 940
Rethinking the Regulation of Cryptoassets - Cryptographic Consensus Technology and the New Prospect (Hardcover): Syren Johnstone
Rethinking the Regulation of…
Syren Johnstone Hardcover R3,154 Discovery Miles 31 540
Blockchain Life - Making Sense of the Metaverse, NFTs, Cryptocurrency, Virtual Reality, Augmented Reality, and Web3...
Blockchain Life - Making Sense of the…
Kary Oberbrunner, Lee Richter Hardcover R563 R472 Discovery Miles 4 720
Nft-Blockchain & Crypto Art - How to Create, Buy and Sell a Non-Fungible Token How to Become a Crypto Artist, Step by Step 14...
Nft-Blockchain & Crypto Art - How to…
James Parker Hardcover R1,072 R869 Discovery Miles 8 690

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