Menu
Află starea comenzii
Contactați-ne
Carte Formal Systems Specification Manfred Broy

Formal Systems Specification

The RPC-Memory Specification Case Study

Autor: Manfred Broy, Stephan Merz, Katharina Spies
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

Autor
Manfred Broy, Stephan Merz, Katharina Spies
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1996
Pagini
543
EAN
9783540619840
ISBN
3540619844
Enbook ID
01566254
Editura
Springer, Berlin
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

Molecular Biology of Bacteria

Rajarshi Kumar Gaur
1 433.92 lei

Granular Matter

Anita Mehta
827.70 lei

Drug Discovery

Robert A. Maxwell
893.42 lei

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

Andy Hopper
69.75 lei

Marketing 2.0

Gerald Corbae
271.15 lei

France's Rhineland Policy, 1914-1924

Walter A. McDougall
860.00 lei

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

Etsuko Hae-Jin Kang
614.49 lei

Theoretical Perspectives on Historians' Autobiographies

Jaume Aurell
1 248.37 lei

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

Ortsverzeichnis 1991

Erich Bader
161.41 lei

Wunder in meinem Leben

Daisy Gräfin von Arnim
46.43 lei

Myszonek pod namiotem. Myszonek

Riikka Jäntti
43.70 lei

Insegna al tuo drago il pericolo degli sconosciuti

Steve Herman
102.96 lei

Autoatlas Crete / Kreta

160.60 lei

Rínxols d'Or

Perrault
14.33 lei

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

Jutta König
70.25 lei

Parmenides und die Geschichte der griechischen Philosophie

Karl Reinhardt
145.66 lei

Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3

Bruno Bushart
262.97 lei

Su-jok Semenoterapie

Jae Woo Park
51.47 lei