Lecture Notes in Computer Science Formal Systems Specification: The Rpc-Memory Specification Case Study, Book 1169, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Formal Systems Specification: The Rpc-Memory Specification Case Study, Book 1169, (Paperback)
- Author: Springer
- ISBN: 9783540619840
- Format: Paperback
- Publication Date: 1996-11-06
- Page Count: 543
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub dateNovember 6, 1996
- Pages543
- SubgenreDistributed Systems
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Sat, Mar 21
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
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.
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.
- Lecture Notes in Computer Science Formal Systems Specification: The Rpc-Memory Specification Case Study, Book 1169, (Paperback)
- Author: Springer
- ISBN: 9783540619840
- Format: Paperback
- Publication Date: 1996-11-06
- Page Count: 543
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
November 6, 1996
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Control and Information Combined Parametric-Nonparametric Identification of Block-Oriented Systems, Book 454, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Control and Information Combined Parametric-Nonparametric Identification of Block-Oriented Systems, Book 454, (Paperback)
Protocol Buffers Handbook: Getting deeper into Protobuf internals and its usage, (Paperback) $38.83
$3883current price $38.83Protocol Buffers Handbook: Getting deeper into Protobuf internals and its usage, (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Pa, Book 15698, (Paperback) $35.11
$3511current price $35.11Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Pa, Book 15698, (Paperback)
Lecture Notes in Computer Science Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, Book 14080, (Paperback) $79.99
$7999current price $79.99Lecture Notes in Computer Science Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, Book 14080, (Paperback)
Lecture Notes in Control and Information Deterministic Identification of Dynamical Systems, Book 127, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Control and Information Deterministic Identification of Dynamical Systems, Book 127, (Paperback)
Lecture Notes in Computer Science Business Process Management: Models, Techniques, and Empirical Studies, Book 1806, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Business Process Management: Models, Techniques, and Empirical Studies, Book 1806, (Paperback)
Lecture Notes in Computer Science An Optimized Translation Process and Its Application to ALGOL 68, Book 38, (Paperback) $32.99
$3299current price $32.99Lecture Notes in Computer Science An Optimized Translation Process and Its Application to ALGOL 68, Book 38, (Paperback)
Lecture Notes in Control and Information Singular Perturbations and Asymptotic Analysis in Control Systems, Book 90, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Control and Information Singular Perturbations and Asymptotic Analysis in Control Systems, Book 90, (Paperback)
Synthesis Lectures on Data Management P2P Techniques for Decentralized Applications, (Paperback) $37.99
$3799current price $37.99Synthesis Lectures on Data Management P2P Techniques for Decentralized Applications, (Paperback)
Lecture Notes in Control and Information Feedback Strategies for Partially Observable Stochastic Systems, Book 48, (Paperback) $33.33
$3333current price $33.33Lecture Notes in Control and Information Feedback Strategies for Partially Observable Stochastic Systems, Book 48, (Paperback)
Current Studies in Linguistics Semantic Structures, Book 18, (Paperback) $25.50
$2550current price $25.50Current Studies in Linguistics Semantic Structures, Book 18, (Paperback)
Lecture Notes in Computer Science Direct Methods for Sparse Matrices, Book 157, (Paperback) $27.75
$2775current price $27.75Lecture Notes in Computer Science Direct Methods for Sparse Matrices, Book 157, (Paperback)
Lecture Notes in Computer Science The Iota Programming System: A Modular Programming Environment, Book 160, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science The Iota Programming System: A Modular Programming Environment, Book 160, (Paperback)
Lecture Notes in Computer Science Spatio-Temporal Databases: The Chorochronos Approach, Book 2520, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Spatio-Temporal Databases: The Chorochronos Approach, Book 2520, (Paperback)
Lecture Notes in Control and Information An Expert Systems Approach to Computer-Aided Design of Multivariable Systems, Book 89, (Paperback) $26.88
$2688current price $26.88Lecture Notes in Control and Information An Expert Systems Approach to Computer-Aided Design of Multivariable Systems, Book 89, (Paperback)
Lecture Notes in Computer Science Theory of Program Structures: Schemes, Semantics, Verification, Book 36, (Paperback) $24.99
$2499current price $24.99Lecture Notes in Computer Science Theory of Program Structures: Schemes, Semantics, Verification, Book 36, (Paperback)
Lecture Notes in Computer Science Hybrid Systems II, Book 999, (Paperback) $32.59
$3259current price $32.59Lecture Notes in Computer Science Hybrid Systems II, Book 999, (Paperback)
Lecture Notes in Computer Science Efficient Graph Rewriting and Its Implementation, Book 922, (Paperback) $45.57
$4557current price $45.57Lecture Notes in Computer Science Efficient Graph Rewriting and Its Implementation, Book 922, (Paperback)
Lecture Notes in Economic and Mathematic Omitted Variable Tests and Dynamic Specification: An Application to Demand Homogeneity, Book 488, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Economic and Mathematic Omitted Variable Tests and Dynamic Specification: An Application to Demand Homogeneity, Book 488, (Paperback)
Lecture Notes in Computer Science Algorithmic Foundations of Geographic Information Systems, Book 1340, (Paperback) $49.10
$4910current price $49.10Lecture Notes in Computer Science Algorithmic Foundations of Geographic Information Systems, Book 1340, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
