Copied Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
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 Neuchtel, 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.
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
Literature and the Peripheral City
$84.99
Non-coding RNA and the Reproductive System
$84.99
The Collectors Book of Fluorescent Minerals
$129.99
Suizidales Verhalten und nichtsuizidale Selbstverletzungen
$64.99
Green Space, Green Time
$25.00
Inter-Domain Management
$39.99
New Visions of Collective Achievement
$49.99
Knowledge Management in Organisations
$99.99
Scholastic Success With Math Tests: Grade 5 Workbook
$5.24
Quality by Design for Biopharmaceutical Drug Product Development
$189.00
Disordered Systems and Biological Organization
$109.99
Anaphora in Natural Language Understanding
$9.99
Lectures on Discrete Time Filtering
$54.99
R.E.A.L. Additional Student-Packs Grade 4 Set B (5-Pack)
$179.99
Dark Leadership
$17.99
The Manual of Strategic Economic Decision Making
$84.99
Blast Injury Science and Engineering
$119.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII
$39.99
Towards a Sustainable Asia
$109.99
A Commentary on the Poems of Thomas Hardy
$39.99
IGISOL
$109.99
Advances in Design, Music and Arts III
$219.99
Latinx Immigrants
$139.99
Breast Augmentation
$329.00
Management - Handlungsmuster erfolgreicher Fhrungskrfte
$79.99
Moritz Hoernes
$69.99
Epigenomics
$169.99
Computational Intelligence in Medical Informatics
$219.99
Deterministic Kinetics in Chemistry and Systems Biology
$54.99
Growth Hormone Related Diseases and Therapy
$219.99
Pflanzenanatomischer Grundkurs
$39.99
Model Checking Software
$39.99
The Economics of Crowdfunding
$139.00
Bridging Educational Leadership, Curriculum Theory and Didaktik
$59.99
Festigkeit der Schiffe
$59.99
Atlas of Medical Renal Pathology
$219.99
Gravity and the Quantum
$139.99
Rckgewinnung des Natriumcarbonatkatalysators bei der Reduktion von Eisenerzen mit Kohlenstoff
$54.99
Thermal Energy Storage
$179.99
Der Herzinfarkt
$69.99
