Carte Formal Systems Specification Manfred Broy

Formal Systems Specification

The RPC-Memory Specification Case Study

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.90 lei
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1996
Pagini
543
EAN
9783540619840
ISBN
3540619844
Enbook ID
01566254
Greutate
736
Dimensiuni
234 x 156 x 29

Descriere completă

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.

S-ar putea să te intereseze

1 433.92 lei

Granular Matter

Anita Mehta
827.70 lei

Drug Discovery

Robert A. Maxwell
893.42 lei

Marketing 2.0

Gerald Corbae
271.15 lei
860.00 lei

Clienții care au cumpărat această carte au mai cumpărat și

161.41 lei

Wunder in meinem Leben

Daisy Gräfin von Arnim
46.43 lei
43.70 lei
14.33 lei
51.47 lei