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
Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown
$49.99
mODa 9 Advances in Model-Oriented Design and Analysis
$84.99
The Rise of Restorative Justice in the Energy Transition and for Climate Mitigation
$34.99
Statistics of Random Processes I
$74.99
Printed Antennas for Networks
$99.00
Methodology and Economics
$84.99
Leitlinien zu Diagnostik und Therapie in der Gefchirurgie
$69.99
Co-design for a New East Asia After the Crisis
$109.99
Dr. B. Reiters Lexikon des philosophischen Alltags: Wesen
$17.99
Recent Advances in Computational Optimization
$109.99
Anglo-French Relations Before the Second World War
$54.99
Traditional Forest-Related Knowledge
$219.99
Career Skills for Surgeons
$109.99
Wissenschaft, Gesellschaft und politische Macht
$44.99
Noniterative Coordination in Multilevel Systems
$109.99
Transvestism, Masculinity, and Latin American Literature
$54.99
Diagnostik von besonderen Rechenschwierigkeiten in der Sekundarstufe I
$64.99
Wage Labour in Southeast Asia Since 1840
$109.99
Gabler | MLP Berufs- und Karriere-Planer Technik 2008 | 2009
$19.99
Intelligent Robotics and Applications
$84.99
Advanced Lectures on Machine Learning
$54.99
Integrative Pain Medicine
$169.00
Author and Subject Indexes to Volumes 110 Literature 19691973
$39.99
Drehstromschaltungen
$34.99
Transport and Diffusion in Turbulent Fields
$39.99
Supply Chain Simulation
$109.99
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems
$109.99
Linear Models with Correlated Disturbances
$109.99
Nachhaltiges Beschaffungsmanagement
$39.99
Advances in Knowledge Discovery and Management
$109.99
Theory of Multicodimensional (n+1)-Webs
$39.99
Correlation Analysis in Chemistry
$84.99
Coated Metal
$219.99
Foreign Communities in Hong Kong, 1840s1950s
$109.99
Endoscopy in Inflammatory Bowel Disease
$59.99
Orthogonal Matrix-valued Polynomials and Applications
$39.99
Intelligent Algorithms for Packing and Cutting Problem
$169.99
Variable Pitot-Triebwerkseinlsse fr kommerzielle berschallflugzeuge
$59.99
Lonely Children and Adolescents
$39.99
HNO Praxis heute
$44.99
