Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Systems Specification
Best Price (Coupon Required):
Buy Formal Systems Specification for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
Reviews
Questions & Answers
Artificial Intelligence in Logic Design
$169.99
Narrative Innovation and Cultural Rewriting in the Cold War Era and After
$54.99
Religion and Morality
$169.99
The History of Approximation Theory
$39.99
Understanding Western Culture
$99.99
Die Epidemische Encephalitis
$69.99
The Proceedings of 2023 International Conference on Wireless Power Transfer (ICWPT2023)
$219.00
Advances in Nitrogen Fixation Research
$39.99
Essential Computer Animation fast
$44.99
Science and Practice for Heated Tobacco Products
$129.99
Well-Organized Inorganic Nanowire Films
$84.99
Laser Applications in Medicine and Biology
$219.99
Die Berechnung von Gleich- und Wechselstromsystemen
$59.99
Distribution in Afrika
$29.99
Solid State Physics
$139.99
Logistik-Benchmarking
$64.99
Das gute Unendliche in der deutschen Frhromantik
$74.99
Anwendungen der Variationsrechnung auf makrokonomische Modelle
$69.99
Berufliche Sozialisation von Bankkaufleuten
$59.99
The Research System in Transition
$169.00
Gender Trouble in the U.S. Military
$99.99
mODa 10 Advances in Model-Oriented Design and Analysis
$169.99
Quantum Dots Based Nanocomposites
$179.99
Statistics and Measurement Concepts with OpenStat
$54.99
Manufacturing Decision Support Systems
$169.99
Microcomputer Control of Thermal and Mechanical Systems
$39.99
Advances in Microbial Ecology
$39.99
Low Power Digital CMOS Design
$129.00
Atlas of Brain Mapping
$39.99
Rund ums Essen
$29.99
Fossil Horses of South America
$39.99
The Optional Society
$54.99
Ethnic and National Issues in Russian and East European History
$109.99
Current Global Practices of Corporate Social Responsibility
$189.00
Industrial Microbiology Based Entrepreneurship
$219.99
Periodontal Pathogens
$249.99
CAQ-Datenmodell
$69.95
Aging in European Societies
$109.99
An introduction to relativistic processes and the standard model of electroweak interactions
$44.99
Platelet-Rich Plasma in Dermatologic Practice
$109.99
