Hero image 0 of Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised , (Paperback), 0 of 1
Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised , (Paperback)
(No ratings yet)
Key item features
- Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised , (Paperback)
- Author: Springer
- ISBN: 9783642382291
- Format: Paperback
- Publication Date: 2013-04-25
- Page Count: 151
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateApril, 2013
- Pages151
- SubgenreInformation Technology
Current price is USD$49.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Thu, May 21
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $55.29
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
- Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised , (Paperback)
- Author: Springer
- ISBN: 9783642382291
- Format: Paperback
- Publication Date: 2013-04-25
- Page Count: 151
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
April, 2013
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of H, (Paperback) $54.99
$5499current price $54.99From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of H, (Paperback)
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-, (Paperback) $54.99
$5499current price $54.99Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-, (Paperback)
Communications in Computer and Informati Well-Being in the Information Society. Fruits of Respect: 8th International Conference, Wis 2020, Turku, Finland, August, Book 1270, (Paperback) $63.90
$6390current price $63.90Communications in Computer and Informati Well-Being in the Information Society. Fruits of Respect: 8th International Conference, Wis 2020, Turku, Finland, August, Book 1270, (Paperback)
The Semantic Web. Latest Advances and New Domains: 12th European Semantic Web Conference, Eswc 2015, Portoroz, Slovenia,, (Paperback) $54.99
$5499current price $54.99The Semantic Web. Latest Advances and New Domains: 12th European Semantic Web Conference, Eswc 2015, Portoroz, Slovenia,, (Paperback)
Language Processing and Knowledge in the Web: 25th International Conference, Gscl 2013, Darmstadt, Germany, September 25, (Paperback) $51.45
$5145current price $51.45Language Processing and Knowledge in the Web: 25th International Conference, Gscl 2013, Darmstadt, Germany, September 25, (Paperback)
Lecture Notes of the Institute for Compu Mobile and Ubiquitous Systems: Computing, Networking, and Services: 9th International Conference, Mobiquitous 2012, Beij, Book 120, (Paperback) $49.99
$4999current price $49.99Lecture Notes of the Institute for Compu Mobile and Ubiquitous Systems: Computing, Networking, and Services: 9th International Conference, Mobiquitous 2012, Beij, Book 120, (Paperback)
E-Voting and Identity: Third International Conference, Voteid 2011, Tallinn, Estonia, September 28-20, 2011, Revised Sel, (Paperback) $44.22 Was $49.99
$4422current price $44.22, Was $49.99$49.99E-Voting and Identity: Third International Conference, Voteid 2011, Tallinn, Estonia, September 28-20, 2011, Revised Sel, (Paperback)
Computational Collective Intelligence: 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017,, (Paperback) $64.43
$6443current price $64.43Computational Collective Intelligence: 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017,, (Paperback)
Computational Linguistics and Intelligent Text Processing: 15th International Conference, Cicling 2014, Kathmandu, Nepal, (Paperback) $60.29
$6029current price $60.29Computational Linguistics and Intelligent Text Processing: 15th International Conference, Cicling 2014, Kathmandu, Nepal, (Paperback)
Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 201, (Paperback) $49.99
$4999current price $49.99Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 201, (Paperback)
Software Engineering for Resilient Systems: 5th International Workshop, Serene 2013, Kiev, Ukraine, October 3-4, 2013, P, (Paperback) $51.45
$5145current price $51.45Software Engineering for Resilient Systems: 5th International Workshop, Serene 2013, Kiev, Ukraine, October 3-4, 2013, P, (Paperback)
Communications in Computer and Informati Information and Software Technologies: 28th International Conference, Icist 2022, Kaunas, Lithuania, October 13-15, 2022, Book 1665, (Paperback) $49.82
$4982current price $49.82Communications in Computer and Informati Information and Software Technologies: 28th International Conference, Icist 2022, Kaunas, Lithuania, October 13-15, 2022, Book 1665, (Paperback)
Lecture Notes in Computer Science Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Book 14933, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Book 14933, (Paperback)
Computer Analysis of Images and Patterns: 16th International Conference, Caip 2015, Valletta, Malta, September 2-4, 2015, (Paperback) $64.76
$6476current price $64.76Computer Analysis of Images and Patterns: 16th International Conference, Caip 2015, Valletta, Malta, September 2-4, 2015, (Paperback)
Lecture Notes in Business Information Pr Knowledge Management in Organizations: 10th International Conference, Kmo 2015, Maribor, Slovenia, August 24-28, 2015, P, Book 224, (Paperback) $65.95
$6595current price $65.95Lecture Notes in Business Information Pr Knowledge Management in Organizations: 10th International Conference, Kmo 2015, Maribor, Slovenia, August 24-28, 2015, P, Book 224, (Paperback)
Critical Information Infrastructures Security: 7th International Workshop, Critis 2012, Lillehammer, Norway, September 1, (Paperback) $49.99
$4999current price $49.99Critical Information Infrastructures Security: 7th International Workshop, Critis 2012, Lillehammer, Norway, September 1, (Paperback)
Servicenow's Intelligent It Service Management: A Comprehensive Guide to Implementing the Platform's AI Capabilities for, (Paperback) $45.22
$4522current price $45.22Servicenow's Intelligent It Service Management: A Comprehensive Guide to Implementing the Platform's AI Capabilities for, (Paperback)
Lecture Notes in Computer Science Web, Web-Services, and Database Systems: Node 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 20, Book 2593, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Web, Web-Services, and Database Systems: Node 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 20, Book 2593, (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, Tacas 2022, Held as Pa, Book 13244, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, Tacas 2022, Held as Pa, Book 13244, (Paperback)
Lecture Notes in Business Information Pr Enabling Real-Time Business Intelligence: 6th International Workshop, Birte 2012, Held at the 38th International Confere, Book 154, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Business Information Pr Enabling Real-Time Business Intelligence: 6th International Workshop, Birte 2012, Held at the 38th International Confere, Book 154, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Procurement Value Chain
- Sap Materials Management
- Openstack Automation
- Best Sellers In Market Research Business
- Cy Decosse Incorporated
- Pta Pt
- Online Safety & Privacy Books
- Cybernetics Books
- Construction Law Books
- Paralegals & Paralegalism Law Books
- General Security Books
- Natural Resource Extraction Industry Books