Copied Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
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
Color Theory and Modeling for Computer Graphics, Visualization, and Multimedia Applications
$169.00
Geography: Discipline, Profession and Subject since 1870
$169.99
Conservative Realizations of Herglotz-Nevanlinna Functions
$84.99
Fundamentals of Group Theory
$79.99
Vom Niedergang des unternehmerisch ttigen Staates
$69.99
Color Atlas of Spinal Cord Surgery
$299.99
The Language of Feminine Beauty in Russian and Japanese Societies
$54.99
Personalbedarf und Kosten im Medizinischen Laboratorium
$44.99
Organisation und Entscheidung
$54.99
Progress in Turbulence IX
$199.99
Art of Coloring: Schoolhouse Rock by Disney
$15.99
Fish Population Dynamics, Monitoring, and Management
$179.99
A Subtle and Mysterious Machine
$129.00
Die Lean-Methode im Krankenhaus
$29.99
The Population Dynamics of Infectious Diseases: Theory and Applications
$54.99
Optimale Vertragsgestaltung bei Venture-Capital-Finanzierungen
$69.99
Laugh-A-Lot Phonics: Short Vowels (Single-Copy Set)
$17.99
Osteoarthritis of the Hip
$74.99
Great Salt Lake Biology
$199.99
Autonomous driving algorithms and Its IC Design
$69.99
Genetic Programming Theory and Practice XIX
$129.00
OPCW: The Legal Texts
$219.99
Molecular Mechanisms of Dementia
$89.00
Insights into Chinese Agriculture
$129.99
Complexity, Emergence, and Causality in Applied Linguistics
$99.00
Northern Irish Poetry and the Russian Turn
$54.99
Elucidation of Abiotic Stress Signaling in Plants
$169.99
Dependencies, Connections, and Other Relations
$169.99
Business Intelligence Tools for Companies
$64.99
Foundation ActionScript 3
$39.99
A Century of Physics
$34.99
Complex Dental Implant Complications
$99.99
Options for Risk-Free Portfolios
$49.99
Kostenrechnung und Preispolitik in der Elektrizittswirtschaft
$59.99
Acoustical Imaging
$39.99
Einfhrung in die Lehre von der Wrmebertragung
$59.99
Urban Agglomeration and Economic Growth
$84.99
Wavelet Analysis and Its Applications
$39.99
Microprocessors in Operational Hydrology
$169.99
The New (So-Called) Magdeburg Experiments of Otto Von Guericke
$169.00
