Formal Systems Specification

Name: Formal Systems Specification
Brand: Springer, Berlin
SKU: 9783540619840
Price: 1147 CZK
Availability: InStock

The RPC-Memory Specification Case Study

Autor: Manfred Broy, Stephan Merz, Katharina Spies

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal...

Informace o knize

Autor

Manfred Broy, Stephan Merz, Katharina Spies

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1996

Stránek

543

EAN

9783540619840

ISBN

3540619844

Enbook ID

01566254

Vydavatel

Springer, Berlin

Hmotnost

736

Rozměry

234 x 156 x 29

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Systems Specification

The RPC-Memory Specification Case Study

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Molecular Biology of Bacteria

Granular Matter

Drug Discovery

How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids

Marketing 2.0

France's Rhineland Policy, 1914-1924

Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century

Theoretical Perspectives on Historians' Autobiographies

Zákaznicí kteří koupili tuto knihu koupili také

Ortsverzeichnis 1991

Wunder in meinem Leben

Myszonek pod namiotem. Myszonek

Insegna al tuo drago il pericolo degli sconosciuti

Autoatlas Crete / Kreta

Rínxols d'Or

100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können

Parmenides und die Geschichte der griechischen Philosophie

Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3

Su-jok Semenoterapie