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
Gender and Colonialism
$109.99
Practical OpenTelemetry
$54.99
Benchmarking Handbook
$109.99
Advances and Technical Standards in Neurosurgery
$84.99
Grundlagen der metallorganischen Komplexkatalyse
$39.99
Recent Progress in Mathematics
$54.99
Rechenstrukturen und Geometrie mit LOGO
$59.99
How Nations Succeed: Manufacturing, Trade, Industrial Policy, and Economic Development
$79.99
Numerical Simulation in Applied Geophysics
$84.99
Beitrag zur Anwendung der Warteschlangentheorie bei Mehrstellenarbeit fr eine optimale Produktions
$59.99
Governance, Performance, and Capacity Stress
$39.99
Gesetze ber die Deutsche Reichsbahn-Gesellschaft (Reichsbahngesetz) und ber die Personalverhltnis
$49.99
Energy-Efficient High Performance Computing
$39.99
Fast Software Encryption
$39.99
Lungscapes
$39.99
Mller Cells in the Healthy and Diseased Retina
$279.99
Information Security and Cryptology - ICISC 2014
$39.99
Digitalisierung in KMU kompakt
$19.99
Monetary Policy and Financial Innovations in Five IndustrialCountries
$109.99
Modelling and Simulation of Complex Systems for Sustainable Energy Efficiency
$149.00
Simulation-Driven Design by Knowledge-Based Response Correction Techniques
$54.99
Proceedings / Parcella 1988
$39.99
Steroid Hormones and the T-Cell Cytokine Profile
$84.99
Selbstzahlerleistungen in der Dermatologie und der sthetischen Medizin
$109.00
Digitalisierung der Arbeitswelt
$44.99
Ergonomics for Improved Productivity
$169.00
Deep Blue
$109.99
Biomedical Ethics and the Law
$109.99
Accelerating E-Mobility in Germany
$39.99
Epithelial Cell Culture
$129.00
Static Analysis
$39.99
The Pantanal of Mato Grosso (Brazil)
$169.99
Democracy and Citizenship in Scandinavia
$84.99
Chemistry of Plant Natural Products
$329.99
Neuromarketing in der Praxis
$49.99
Atrioventricular Conduction in Congenital Heart Disease
$74.99
Semi-Infinite Programming
$249.99
Gender Reboot
$19.99
Defensive Publishing
$69.99
Functionalized Redox Systems
$109.99
