Copied Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Applied Asymptotic Expansions in Momenta and Masses
$169.00
New Trends in Earth-Science Outreach and Engagement
$109.99
Adjustments for Students With Special Needs in General Education Classes
$49.99
Internationales Beschwerdemanagement
$59.99
Scholastic News Sticky Situation Cards: Grades 1-3
$26.24
Lehrbuch der Gynkologie
$59.99
Cancel Culture
$44.99
Graphentheoretische Konzepte und Algorithmen
$44.99
Endoskopische Urologie
$139.99
Computer Vision and Image Processing
$79.99
Co-oP
$39.99
Migration Policy and Practice
$54.99
New Essays in Applied Ethics
$54.99
Revisiting EFL Assessment
$129.99
Procedural Semantics for Hyperintensional Logic
$219.99
Germ-Free Biology Experimental and Clinical Aspects
$109.99
International Yearbook of Nephrology 1990
$169.99
Die Welt der Primzahlen
$29.99
Die Be- und Entlftung des Normalarbeitsraumes
$44.99
Dein Mutmacher bist du selbst!
$39.95
Recent Advances in Artificial Intelligence and Smart Applications
$299.99
Women and Transition
$35.00
Betriebswirtschaftslehre heute
$54.99
Armes Kind - starkes Kind?
$29.99
Sexual Perversions, 16701890
$54.99
Progressive Decision-Making Tools and Applications in Project and Operation Management
$169.99
The Royal Navy in Indigenous Australia, 17951855
$119.99
Transkulturelle Medizin
$64.99
Werkstoffkunde fr die Elektrotechnik
$79.99
Praktisches Denken und Normativitt
$54.99
Basement Regions
$169.99
Competence-based Vocational and Professional Education
$379.99
Fluids Under Control
$89.99
Spezielle Strahlentherapie Maligner Tumoren / Radiation Therapy of Malignant Tumours
$54.99
Cardiovascular Prevention and Rehabilitation
$299.99
The Epistemology of Religious Disagreement
$54.99
Freie in Lokalredaktionen
$74.99
Hendrick Goltzius als Maler, 16001617
$44.99
Riots and Pogroms
$59.99
Concepts and Applications of Remote Sensing in Forestry
$199.99
