Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Systems Specification

Formal Systems Specification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540495734
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

One Legacy of Paul F. Brandwein

$129.00

Solid Waste Management

$119.99

Handbook of Sample Preparation for Scanning Electron Microscopy and X-Ray Microanalysis

$159.99

Interkulturelle Gesprchsfhrung

$84.99

Meeting the Challenge of Sustainable Mobility

$39.99

The Diplomacies of States

$159.99

The Conduct of a Cooperative Clinical Trial

$84.99

Introduction to Applied Mineralogy

$84.99

Cultural Space on Metaverse

$159.99

Gender, Religion and Education in a Chaotic Postmodern World

$129.00

Haemostatic Drugs

$54.99

Cognitive Behavior Therapy

$39.99

Anemia in the Young and Old

$39.99

Digital Shakespeares from the Global South

$44.99

Web Reasoning and Rule Systems

$54.99

Verified Software: Theories, Tools, Experiments

$39.99

Inflation!

$29.99

Economic and Political Impediments To Middle East Peace

$109.99

The Locales Framework

$109.99

Advanced Design Problems in Aerospace Engineering

$129.00

From Molecular to Modular Tumor Therapy:

$219.99

Keys to the Kingdom: Mister Monday

$6.74

Smooth Nonlinear Optimization in Rn

$169.00

The Digital Journey of Banking and Insurance, Volume I-III

$169.99

The German Verse Epic in the Nineteenth and Twentieth Centuries

$54.99

Valproinsure

$74.99

Electrical Energy Generation in Europe

$169.99

Profit oder Gemeinwohl?

$49.99

Unilateral Problems in Structural Analysis IV

$39.99

Analysis I

$24.99

Extracting Knowledge From Time Series

$54.99

Modern Mathematics Education for Engineering Curricula in Europe

$59.99

Proceedings of the Indian Geotechnical Conference 2022 Volume 9

$249.99

Die Strafbarkeit von Entscheidungstrgern des Krankenhausmanagements wegen Organisationsverschuldens

$79.99

The History of the Kiss!

$54.99

Controllership in Deutschland

$59.99

Strukturwandel des Arbeitsschutzes

$59.99

How Change and Identity Coexist in Personal Individuality

$89.00

Investigating Chinese HE EFL Classrooms

$54.99

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016

$169.00