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

Endocarditis

$99.00

Grid and Pervasive Computing

$84.99

Geometric Methods in Physics

$54.99

El misterio de la casa verde

$8.24

Bestimmung des Gebrauchswertes von Lacken durch Anwendung physikalischer Prfungsmethoden

$49.99

Rechnerische Ermittlung von Zustandsgren beim Radialumformen

$69.99

Fabrikationsmethoden fr Galenische Arzneimittel und Arzneiformen

$84.99

Chicka Chicka: Chica Chica Bum Bum (Spanish)

$5.96

Understanding Terrestrial Microbial Communities

$169.99

Object-Oriented Information Systems

$54.99

Kopfschmerzen und Migrne

$54.99

Theory of Reflection of Electromagnetic and Particle Waves

$139.99

Territorial Governance

$84.99

Ich bin Waldorflehrer

$39.99

Operator Algebras

$219.99

ISO 9000-3

$109.99

Structural Shell Analysis

$84.99

Nonlinear Approaches in Engineering Applications

$109.99

Warum ausgerechnet .NET?

$59.99

Gemeinschaftsformen in der modernen Stadt

$59.99

On the Way to the Web

$14.99

Dependence in Buyer-Supplier Relationships

$39.99

Der Tter in seinen sozialen Bezgen

$69.99

Donut the Destroyer

$11.24

Die japanischen Manager

$34.99

Basics of Aerothermodynamics

$199.99

Molecular Basis of Membrane-Associated Diseases

$84.99

Carl Benz Gottlieb Daimler Wilhelm Maybach

$54.99

Unmagnetische Handwerkzeuge aus Titan und Stahl Schmieden Bearbeiten Prfen

$84.99

Cultural Intermediaries

$84.99

Chemische Technologie der Legierungen

$84.99

Dismantling the Mexican State?

$74.99

Add Up the Toys

$3.71

Globalisierung von Forschung und Entwicklung in der IKT-Industrie

$54.99

Internationale Brsenplatzentscheidungen institutioneller Investoren

$69.99

A Dialogue on Explanation

$54.99

Corporeality in Early Twentieth-Century Latin American Literature

$39.99

The RegulatorRegulatee Relationship in High-Hazard Industry Sectors

$37.99

An Investigation of Women's and Mens Perceptions and Meanings Associated with Food Risks

$54.99

Biomedical Ethics Reviews 1992

$109.99