Hero image 0 of IFIP Advances in Information and Communi Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Me, Book 81, (Paperback), 0 of 1
IFIP Advances in Information and Communi Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Me, Book 81, (Paperback)
(No ratings yet)
Key item features
- IFIP Advances in Information and Communi Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Me, Book 81, (Paperback)
- Author: Springer
- ISBN: 9781475752687
- Format: Paperback
- Publication Date: 2013-03-21
- Page Count: 284
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreTextbooks
- Publication dateMarch, 2013
- Pages284
- SubgenreGeneral
Current price is USD$107.11
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Plus, get 50% off an annual plan at checkout!
Ships to
Arrives by Thu, Jul 2
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $107.90
Get 50% off a year of Walmart+
Exclusions, T&C apply. Claim offer
About this item
Product details
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
- Formal methods;
- Distributed systems;
- Object-based technology.
Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
- IFIP Advances in Information and Communi Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Me, Book 81, (Paperback)
- Author: Springer
- ISBN: 9781475752687
- Format: Paperback
- Publication Date: 2013-03-21
- Page Count: 284
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
Textbooks
Publication date
March, 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
Formal Techniques for Distributed Objects, Components, and Systems: 35th Ifip Wg 6.1 International Conference, Forte 201, (Paperback) $54.99 Was $64.94
$5499current price $54.99, Was $64.94$64.94Formal Techniques for Distributed Objects, Components, and Systems: 35th Ifip Wg 6.1 International Conference, Forte 201, (Paperback)
IFIP Advances in Information and Communi Precision Assembly Technologies for Mini and Micro Products: Proceedings of the Ifip Tc5 Wg5.5 Third International Preci, Book 198, (Hardcover) $107.81
$10781current price $107.81IFIP Advances in Information and Communi Precision Assembly Technologies for Mini and Micro Products: Proceedings of the Ifip Tc5 Wg5.5 Third International Preci, Book 198, (Hardcover)
IFIP Advances in Information and Communi Virtual Enterprises and Collaborative Networks: Ifip 18th World Computer Congress Tc5/Wg5.5 -- 5th Working Conference on, Book 149, (Paperback) $89.21
$8921current price $89.21IFIP Advances in Information and Communi Virtual Enterprises and Collaborative Networks: Ifip 18th World Computer Congress Tc5/Wg5.5 -- 5th Working Conference on, Book 149, (Paperback)
Formal Techniques for Distributed Objects, Components, and Systems: 40th Ifip Wg 6.1 International Conference, Forte 202, (Paperback) $60.58
$6058current price $60.58Formal Techniques for Distributed Objects, Components, and Systems: 40th Ifip Wg 6.1 International Conference, Forte 202, (Paperback)
IFIP Advances in Information and Communi Research and Practical Issues of Enterprise Information Systems II Volume 1: Ifip Tc 8 Wg 8.9 International Conference o, Book 254, (Hardcover) $163.87
$16387current price $163.87IFIP Advances in Information and Communi Research and Practical Issues of Enterprise Information Systems II Volume 1: Ifip Tc 8 Wg 8.9 International Conference o, Book 254, (Hardcover)
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, , (Paperback) $39.90
$3990current price $39.90Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, , (Paperback)
IFIP Advances in Information and Communi History of Computing: Learning from the Past: Ifip Wg 9.7 International Conference, Hc 2010, Held as Part of Wcc 2010, B, Book 325, (Paperback) $54.99
$5499current price $54.99IFIP Advances in Information and Communi History of Computing: Learning from the Past: Ifip Wg 9.7 International Conference, Hc 2010, Held as Part of Wcc 2010, B, Book 325, (Paperback)
Advances in Intelligent Systems and Comp Advances in the Human Side of Service Engineering: Proceedings of the Ahfe 2017 International Conference on the Human Si, Book 601, (Paperback) $163.87
$16387current price $163.87Advances in Intelligent Systems and Comp Advances in the Human Side of Service Engineering: Proceedings of the Ahfe 2017 International Conference on the Human Si, Book 601, (Paperback)
IFIP Advances in Information and Communi Integrating Human Aspects in Production Management: Ifip Tc5 / Wg5.7 Proceedings of the International Conference on Huma, Book 160, (Hardcover) $107.81
$10781current price $107.81IFIP Advances in Information and Communi Integrating Human Aspects in Production Management: Ifip Tc5 / Wg5.7 Proceedings of the International Conference on Huma, Book 160, (Hardcover)
IFIP Advances in Information and Communi Product Lifecycle Management in the Digital Twin Era: 16th Ifip Wg 5.1 International Conference, Plm 2019, Moscow, Russi, Book 565, (Paperback) $90.07 Was $104.92
$9007current price $90.07, Was $104.92$104.92IFIP Advances in Information and Communi Product Lifecycle Management in the Digital Twin Era: 16th Ifip Wg 5.1 International Conference, Plm 2019, Moscow, Russi, Book 565, (Paperback)
IFIP Advances in Information and Communi Environmental Software Systems. Data Science in Action: 13th Ifip Wg 5.11 International Symposium, Isess 2020, Wageninge, Book 554, (Paperback) $92.97
$9297current price $92.97IFIP Advances in Information and Communi Environmental Software Systems. Data Science in Action: 13th Ifip Wg 5.11 International Symposium, Isess 2020, Wageninge, Book 554, (Paperback)
IFIP Advances in Information and Communi From Model-Driven Design to Resource Management for Distributed Embedded Systems: Ifip Tc 10 Working Conference on Distr, Book 225, (Paperback) $105.62
$10562current price $105.62IFIP Advances in Information and Communi From Model-Driven Design to Resource Management for Distributed Embedded Systems: Ifip Tc 10 Working Conference on Distr, Book 225, (Paperback)
IFIP Advances in Information and Communi Research Advances in Database and Information Systems Security: Ifip Tc11 Wg11.3 Thirteenth Working Conference on Databa, Book 43, (Hardcover) $90.07
$9007current price $90.07IFIP Advances in Information and Communi Research Advances in Database and Information Systems Security: Ifip Tc11 Wg11.3 Thirteenth Working Conference on Databa, Book 43, (Hardcover)
Lecture Notes in Computer Science Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 202, Book 14678, (Paperback) $109.99
$10999current price $109.99Lecture Notes in Computer Science Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 202, Book 14678, (Paperback)
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG, (Paperback) $66.66
$6666current price $66.66Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG, (Paperback)
IFIP Advances in Information and Communi Critical Infrastructure Protection XV: 15th Ifip Wg 11.10 International Conference, Iccip 2021, Virtual Event, March 15-, Book 636, (Paperback) $93.14
$9314current price $93.14IFIP Advances in Information and Communi Critical Infrastructure Protection XV: 15th Ifip Wg 11.10 International Conference, Iccip 2021, Virtual Event, March 15-, Book 636, (Paperback)
Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenst, (Paperback) $54.99
$5499current price $54.99Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenst, (Paperback)
IFIP Advances in Information and Communi Social Inclusion: Societal and Organizational Implications for Information Systems: Ifip Tc8 Wg 8.2 International Workin, Book 208, (Paperback) $105.86
$10586current price $105.86IFIP Advances in Information and Communi Social Inclusion: Societal and Organizational Implications for Information Systems: Ifip Tc8 Wg 8.2 International Workin, Book 208, (Paperback)
IFIP Advances in Information and Communi Artificial Intelligence Applications and Innovations: 16th Ifip Wg 12.5 International Conference, Aiai 2020, Neos Marmar, Book 584, (Paperback) $99.56
$9956current price $99.56IFIP Advances in Information and Communi Artificial Intelligence Applications and Innovations: 16th Ifip Wg 12.5 International Conference, Aiai 2020, Neos Marmar, Book 584, (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)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
