Copied Formal Methods for Open Object-Based Distributed Systems IV
Formal Methods for Open Object-Based Distributed Systems IV
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.
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
|
|
$169.00 | $169.00 |
|
$152.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Handbook of Mathematics
$99.00
Developments of Harmonic Maps, Wave Maps and Yang-Mills Fields into Biharmonic Maps, Biwave Maps and
$64.99
Praxis der Brustoperationen
$54.99
Glycosylation
$219.99
Glaucoma Update II
$109.99
Ceramic Coatings for High-Temperature Environments
$219.99
Fractal Control Theory
$109.99
Guided Reading Level C Pack 1
$61.00
Sensor Networks
$39.99
Special Classes of Semigroups
$109.99
A Treatise on Topical Corticosteroids in Dermatology
$129.99
Multiple Perspectives on Difficulties in Learning Literacy and Numeracy
$129.00
Health Care Reform Simplified
$24.99
Inflammatory Cardiomyopathy (DCMi) - Pathogenesis and Therapy
$189.00
Structural Proteomics
$109.00
Green Energy Transition in China
$149.00
Management of Speech and Video Telephony Quality in Heterogeneous Wireless Networks
$109.99
Chromatography
$139.99
Dynamics of the Ukraine War
$119.99
Advanced Laser Process for Surface Enhancement
$179.99
Degrees of Belief
$84.99
Sculpture, Sexuality and History
$99.99
Information Technology and Product Development
$54.99
Replikation von Produktionsroutinen in der Automobilindustrie
$64.99
Befestigungsgewinde
$49.99
DNA Computing Based Genetic Algorithm
$169.99
China Satellite Navigation Conference (CSNC) 2018 Proceedings
$219.99
Numerical Treatment of Integral Equations / Numerische Behandlung von Integralgleichungen
$49.99
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
$54.99
Genome Editing in Animals
$159.99
Global Migration, Social Change, and Cultural Transformation
$54.99
Bestimmung von Funktionskosten
$69.99
SAP APO in der Praxis
$59.99
ModelEd, TestEd, TrustEd
$54.99
Life Cycle of Clusters in Designing Smart Specialization Policies
$54.99
Gene- and Cell-Based Treatment Strategies for the Eye
$109.99
Water Scarcity and Ways to Reduce the Impact
$109.99
Problems of Nonlinear Mechanics and Physics of Materials
$129.00
International Handbook of Human Response to Trauma
$169.99
Gaseous Detonation Physics and Its Universal Framework Theory
$179.99
