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 |
|
$169.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Umweltrecht im Wandel
$69.99
Bewertung von Eigentumswohnungen
$59.99
A Ryan Hart Novel: Ways to Make Sunshine
$5.96
Pro Apache Geronimo
$29.99
Combination Treatment in Autoimmune Diseases
$109.99
Persnlichkeitspsychologie
$29.99
Jan Brett's The Nutcracker by Jan Brett
$18.99
Romantic Englishness
$54.99
Modelling and Implementation of Complex Systems
$169.99
Foundations of Genetic Algorithms
$54.99
Greeting Seasons: Goodbye Summer, Hello Autumn
$5.96
Political Economy of Malaysias Industrial Policy
$99.99
Wetterderivate
$59.99
Lipid Biochemistry of Fungi and Other Organisms
$84.99
New Trends in Business Information Systems and Technology
$179.99
Genre und Videospiel
$19.99
Auctoritas patrum
$89.99
Friends Are Friends, Forever by Dane Liu
$18.99
Bones, Genetics, and Behavior of Rhesus Macaques
$129.00
Snake Venoms
$169.99
The Rumen Protozoa
$119.00
Biomechanik der Sportarten
$49.99
Innovations in Gastrointestinal Endoscopy
$89.00
Sharing the Burden of Stories from the Tutsi Genocide
$54.99
Summer Stay-on-Track Pack Between Grades 3 and 4
$9.99
Burnout
$9.99
Life Energies, Forces and the Shaping of Life: Vital, Existential
$169.00
The How Not to Die Cookbook: 100+ Recipes to Help Prevent and Reverse Disease by Michael Greger M.d. Faclm
$32.50
Auca on the Cononaco
$64.99
Intelligent Optimal Control for Distributed Industrial Systems
$149.00
Enhancing Digital Equity
$59.99
An Introduction to Differential Geometry with Applications to Elasticity
$109.99
Fibonacci Numbers and Their Applications
$54.99
Planeten Monde Ringsysteme
$54.99
The History of Medical Informatics in the United States
$54.99
Komplexe Funktionen und konforme Abbildungen
$44.99
Well-Being Factors for Different Industries
$99.99
Stress and Distress among the Unemployed
$109.99
Flow and Transport in Fractured Porous Media
$169.99
High Mountain Conservation in a Changing World
$59.99
