Picture 1 of 1
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG
Condition:
7 available
Shipping:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Sat, May 18 and Thu, May 30 to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 98.2% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:395142276624
Item specifics
- Condition
- ISBN-13
- 9783030780883
- Book Title
- Formal Techniques for Distributed Objects, Components, and System
- ISBN
- 9783030780883
- Series
- Lecture Notes in Computer Science Ser.
- Publication Year
- 2021
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6. 1 International Conference, FORTE 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
- Item Length
- 9.3in
- Publisher
- Springer International Publishing A&G
- Item Width
- 6.1in
- Item Weight
- 16 Oz
- Number of Pages
- Xii, 245 Pages
About this product
Product Information
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
3030780880
ISBN-13
9783030780883
eBay Product ID (ePID)
14050415035
Product Key Features
Publication Name
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6. 1 International Conference, FORTE 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Format
Trade Paperback
Language
English
Series
Lecture Notes in Computer Science Ser.
Publication Year
2021
Type
Textbook
Number of Pages
Xii, 245 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
16 Oz
Additional Product Features
Series Volume Number
12719
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
On Bidirectional Runtime Enforcement.- A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks.- A Formalisation of SysML State Machines in mCRL2.- How Adaptive and Reliable is your Program.- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.- Prioritise the Best Variation.- Introduction and Preservation Analysis of Refinement Relations in CCSL.- A Case Study on Parametric Verification of Failure Detectors.- π with Leftovers: a Mechanisation in Agda.- Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.- Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths.- Towards a Spatial Model Checker on GPU.- Formal verification of HotStuff.- Better Late than Never or: Verifying Asynchronous Components at Runtime.- Designing Distributed Software in mCRL2.
Copyright Date
2021
Topic
Software Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics
Illustrated
Yes
Genre
Computers
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:395142276624
Shipping and handling
Item location:
Fairfield, Ohio, United States
Ships to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa
Shipping and handling | Each additional item | To | Service | Delivery*See Delivery notes |
---|---|---|---|---|
Free shipping | Free | United States | Economy Shipping | Estimated between Sat, May 18 and Thu, May 30 to 43230 |
Handling time |
---|
Will usually ship within 10 business days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases |
Sales tax for an item #395142276624
Sales tax for an item #395142276624
Seller collects sales tax for items shipped to the following provinces:
Province | Sales Tax Rate |
---|
Return policy
After receiving the item, contact seller within | Refund will be given as |
---|---|
30 days after the buyer receives it | Money Back |
The buyer is responsible for return shipping costs.
Payment details
Payment methods
Seller feedback (1,021,859)
i***6 (139)- Feedback left by buyer.
Past 6 months
Verified purchase
Item as described, good price, well packaged, arrived slightly later than hoped (not in time for Christmas ) but the order was placed in a very busy shipping period. No issue with the seller’s speed of response and sending the item. Great seller!
t***r (91)- Feedback left by buyer.
Past 6 months
Verified purchase
I was pleasantly surprised by how soon I received this textbook given that it shipped from outside the U.S. It was packaged well with no damage. The price was right. And I greatly appreciated the communication informing me where the book was shipping from and including a tracking number. Overall, a positive experience, - online shopping the way it should be. I've bought books from this seller several times now without any complaints and will surely buy from them again. Thanks a lot!
s***3 (147)- Feedback left by buyer.
Past month
Verified purchase
Quality and hard to find book that won't be released 'til January 2025 in the U.S.A.
Fantastic price.
Book was in a secure and protective package. Arrived a few days after I placed order and that was faster than I expected.
Seller is a fantastic communicator and proactive in regards to tracking status. I'd definitely buy from them in the future.
Product ratings and reviews
More to explore:
- Photography Techniques Hardcover Nonfiction Books,
- Management Techniques Hardcover Nonfiction Books,
- Nonfiction Books Fiction & Management Techniques,
- Nonfiction Books Fiction & Photography Techniques,
- Nonfiction Books in English Fiction & Management Techniques,
- Photography Techniques Paperback Fiction & Nonfiction Books,
- Photography Techniques Hardcover Nonfiction Books Illustrated,
- Nonfiction Books Fiction & Photography Techniques with Dust Jacket,
- Art & Culture Nonfiction Books Illustrated Fiction & Photography Techniques,
- Nonfiction Books & Photography Techniques Fiction 1950-1999 Publication Year