Hero image 0 of Formal Techniques for Distributed Objects, Components, and Systems: 37th Ifip Wg 6.1 International Conference, Forte 201, (Paperback), 0 of 1
Formal Techniques for Distributed Objects, Components, and Systems: 37th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
(No ratings yet)
Key item features
- Formal Techniques for Distributed Objects, Components, and Systems: 37th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
- Author: Springer
- ISBN: 9783319602240
- Format: Paperback
- Publication Date: 2017-05-28
- Page Count: 243
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateMay, 2017
- Pages243
- SubgenreProgramming
Current price is USD$60.29
Price when purchased online
Free 30-day returns
How do you want your item?
Ships to
Arrives by Fri, May 22
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.343173431734317 stars out of 5, based on 271 seller reviews(4.3)271 seller reviews
Free 30-day returns
About this item
Product details
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
- Formal Techniques for Distributed Objects, Components, and Systems: 37th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
- Author: Springer
- ISBN: 9783319602240
- Format: Paperback
- Publication Date: 2017-05-28
- Page Count: 243
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
May, 2017
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
Lecture Notes in Computer Science Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, , Book 2884, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, , Book 2884, (Paperback)
Formal Techniques for Distributed Objects, Components, and Systems: 36th Ifip Wg 6.1 International Conference, Forte 201, (Paperback) $62.49
$6249current price $62.49Formal Techniques for Distributed Objects, Components, and Systems: 36th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
Distributed Applications and Interoperable Systems: 16th Ifip Wg 6.1 International Conference, Dais 2016, Held as Part o, (Paperback) $54.99
$5499current price $54.99Distributed Applications and Interoperable Systems: 16th Ifip Wg 6.1 International Conference, Dais 2016, Held as Part o, (Paperback)
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 201, (Paperback) $54.99
$5499current price $54.99Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens,, (Paperback) $56.14
$5614current price $56.14Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens,, (Paperback)
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report, (Paperback) $54.99
$5499current price $54.99Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report, (Paperback)
Finite Difference Methods. Theory and Applications: 7th International Conference, Fdm 2018, Lozenetz, Bulgaria, June 11-, (Paperback) $56.14
$5614current price $56.14Finite Difference Methods. Theory and Applications: 7th International Conference, Fdm 2018, Lozenetz, Bulgaria, June 11-, (Paperback)
Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 6.1 International Conference, Forte 201, (Paperback) $54.99
$5499current price $54.99Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
Distributed Applications and Interoperable Systems: 17th Ifip Wg 6.1 International Conference, Dais 2017, Held as Part o, (Paperback) $60.29
$6029current price $60.29Distributed Applications and Interoperable Systems: 17th Ifip Wg 6.1 International Conference, Dais 2017, Held as Part o, (Paperback)
Distributed Applications and Interoperable Systems: 14th Ifip Wg 6.1 International Conference, Dais 2014, Held as Part o, (Paperback) $54.99
$5499current price $54.99Distributed Applications and Interoperable Systems: 14th Ifip Wg 6.1 International Conference, Dais 2014, Held as Part o, (Paperback)
Communications in Computer and Informati Smart Solutions in Today's Transport: 17th International Conference on Transport Systems Telematics, Tst 2017, Katowice , Book 715, (Paperback) $62.78
$6278current price $62.78Communications in Computer and Informati Smart Solutions in Today's Transport: 17th International Conference on Transport Systems Telematics, Tst 2017, Katowice , Book 715, (Paperback)
Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenst, (Paperback) $56.14
$5614current price $56.14Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenst, (Paperback)
Intelligent Mechanisms for Network Configuration and Security: 9th Ifip Wg 6.6 International Conference on Autonomous In, (Paperback) $54.99
$5499current price $54.99Intelligent Mechanisms for Network Configuration and Security: 9th Ifip Wg 6.6 International Conference on Autonomous In, (Paperback)
Lecture Notes in Computer Science Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston,, Book 2529, (Paperback) $63.81
$6381current price $63.81Lecture Notes in Computer Science Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston,, Book 2529, (Paperback)
Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, (Paperback) $56.14
$5614current price $56.14Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, (Paperback)
Information Systems Security: 12th International Conference, Iciss 2016, Jaipur, India, December 16-20, 2016, Proceeding, (Paperback) $56.14
$5614current price $56.14Information Systems Security: 12th International Conference, Iciss 2016, Jaipur, India, December 16-20, 2016, Proceeding, (Paperback)
Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part o, (Paperback) $54.99
$5499current price $54.99Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part o, (Paperback)
Finite Difference Methods, Theory and Applications: 6th International Conference, Fdm 2014, Lozenetz, Bulgaria, June 18-, (Paperback) $62.74
$6274current price $62.74Finite Difference Methods, Theory and Applications: 6th International Conference, Fdm 2014, Lozenetz, Bulgaria, June 18-, (Paperback)
Holonic and Multi-Agent Systems for Manufacturing: 4th International Conference on Industrial Applications of Holonic an, (Paperback) $54.99
$5499current price $54.99Holonic and Multi-Agent Systems for Manufacturing: 4th International Conference on Industrial Applications of Holonic an, (Paperback)
Next Generation Information Technologies and Systems: 6th International Conference, Ngits 2006, Kebbutz Sehfayim, Israel, (Paperback) $56.14
$5614current price $56.14Next Generation Information Technologies and Systems: 6th International Conference, Ngits 2006, Kebbutz Sehfayim, Israel, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
