Hero image 0 of Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 201, (Paperback), 0 of 1
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
(No ratings yet)
Key item features
- Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
- Author: Springer
- ISBN: 9783319926117
- Format: Paperback
- Publication Date: 2018-05-30
- Page Count: 197
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateMay, 2018
- Pages197
- Series titleNo Series
Current price is USD$54.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 Wed, May 20
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $56.14
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
- Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
- Author: Springer
- ISBN: 9783319926117
- Format: Paperback
- Publication Date: 2018-05-30
- Page Count: 197
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, 2018
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) $63.65
$6365current price $63.65Lecture 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: 35th Ifip Wg 6.1 International Conference, Forte 201, (Paperback) $65.13
$6513current price $65.13Formal Techniques for Distributed Objects, Components, and Systems: 35th 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 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)
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Pa, (Paperback) $36.56
$3656current price $36.56Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Pa, (Paperback)
Knowledge Based Computer Systems: International Conference Kbcs `89, Bombay, India, December 11-13, 1989. Proceedings, (Paperback) $60.29
$6029current price $60.29Knowledge Based Computer Systems: International Conference Kbcs `89, Bombay, India, December 11-13, 1989. Proceedings, (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)
Distributed Applications and Interoperable Systems: 15th Ifip Wg 6.1 International Conference, Dais 2015, Held as Part o, (Paperback) $63.74
$6374current price $63.74Distributed Applications and Interoperable Systems: 15th Ifip Wg 6.1 International Conference, Dais 2015, Held as Part o, (Paperback)
Rough Sets and Knowledge Technology: 10th International Conference, Rskt 2015, Held as Part of the International Joint C, (Paperback) $64.44
$6444current price $64.44Rough Sets and Knowledge Technology: 10th International Conference, Rskt 2015, Held as Part of the International Joint C, (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)
Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2006, New York, Ny, Usa, May 1, (Paperback) $56.14
$5614current price $56.14Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2006, New York, Ny, Usa, May 1, (Paperback)
Lecture Notes in Computer Science Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal, Book 3253, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal, Book 3253, (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)
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)
Lecture Notes in Computer Science Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd Ifip Wg 6.1 International Conference, Berlin,, Book 2767, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd Ifip Wg 6.1 International Conference, Berlin,, Book 2767, (Paperback)
Network and Parallel Computing: 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016,, (Paperback) $63.29
$6329current price $63.29Network and Parallel Computing: 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016,, (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.82
$6382current price $63.82Lecture Notes in Computer Science Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston,, Book 2529, (Paperback)
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manches, (Paperback) $56.14
$5614current price $56.14Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manches, (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.79
$6279current price $62.79Communications in Computer and Informati Smart Solutions in Today's Transport: 17th International Conference on Transport Systems Telematics, Tst 2017, Katowice , Book 715, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Pa, (Paperback) $60.84
$6084current price $60.84Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Pa, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
