phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Systems Specification

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Systems Specification Manfred Broy
Libristo kód: 01566254
Kiadó Springer, Berlin, november 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Teljes leírás
? points 168 b
26 251 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Puha kötésű
common.buy 5 499 Ft
Su-jok Semenoterapie Jae Woo Park / Puha kötésű
common.buy 2 845 Ft
O podstatě reklamy Jaroslav Světlík / Kemény kötésű
common.buy 5 904 Ft
Marketing 2.0 Gerald Corbae / Kemény kötésű
common.buy 26 251 Ft
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Puha kötésű
common.buy 10 403 Ft
Molecular Biology of Bacteria Rajarshi Kumar Gaur / Kemény kötésű
common.buy 95 660 Ft
Drug Discovery Robert A. Maxwell / Kemény kötésű
common.buy 79 558 Ft
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Kemény kötésű
common.buy 19 037 Ft
Ortsverzeichnis 1991 Erich Bader / Puha kötésű
common.buy 12 493 Ft
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Kemény kötésű
common.buy 84 587 Ft
Granular Matter Anita Mehta / Kemény kötésű
common.buy 79 558 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Systems Specification
Szerző Manfred Broy, Stephan Merz, Katharina Spies
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1996
Oldalszám 543
EAN 9783540619840
ISBN 3540619844
Libristo kód 01566254
Kiadó Springer, Berlin
Súly 736
Méretek 234 x 156 x 29

Kategória

Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció > Kliens-szerver hálózati rendszer
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása