Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Systems Specification

Name: Formal Systems Specification
Brand: Springer, Berlin
SKU: 01566254
Price: 1182 CZK
Availability: InStock
Author: Manfred Broy
ISBN: 9783540619840

The RPC-Memory Specification Case Study

Manfred Broy

Stephan Merz

Katharina Spies

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01566254

Nakladatelství Springer, Berlin, listopad 1995

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

Libristo kód: 01566254

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Ortsverzeichnis 1991 Erich Bader

Brožovaná

768 Kč

Wunder in meinem Leben Daisy Gräfin von Arnim

Brožovaná

195 Kč

Myszonek pod namiotem. Myszonek Riikka Jäntti

Pevná

198 Kč

Insegna al tuo drago il pericolo degli sconosciuti Steve Herman

Pevná

445 Kč

Autoatlas Crete / Kreta

Mapa

630 Kč

Rínxols d'Or Perrault

Kroužková

65 Kč

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

Brožovaná

334 Kč

Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt

Brožovaná

622 Kč

Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart

Pevná

1 105 Kč

Su-jok Semenoterapie Jae Woo Park

Brožovaná

192 Kč

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.