Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Systems Specification

The RPC-Memory Specification Case Study

Język AngielskiAngielski
Książka Miękka
Książka Formal Systems Specification Manfred Broy
Kod Libristo: 01566254
Wydawnictwo Springer, Berlin, listopad 1995
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Ortsverzeichnis 1991 Erich Bader / Książka Miękka
common.buy 134.49 zł
Wunder in meinem Leben Daisy Gräfin von Arnim / Książka Miękka
common.buy 36.37 zł
Myszonek pod namiotem. Myszonek Riikka Jäntti / Książka Twarda
common.buy 27.95 zł
Insegna al tuo drago il pericolo degli sconosciuti Steve Herman / Książka Twarda
common.buy 81.88 zł
Autoatlas Crete / Kreta / Prasa Mapa
common.buy 133.69 zł
Rínxols d'Or Perrault / Książka Pierścieniowa
common.buy 11.22 zł
100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König / Książka Miękka
common.buy 58.42 zł
Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt / Książka Miękka
common.buy 114.95 zł
Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart / Książka Twarda
common.buy 206.06 zł
TOP
Su-jok Semenoterapie Jae Woo Park / Książka Miękka
common.buy 40.58 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Systems Specification
Autor Manfred Broy, Stephan Merz, Katharina Spies
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 543
EAN 9783540619840
ISBN 3540619844
Kod Libristo 01566254
Wydawnictwo Springer, Berlin
Waga 736
Wymiary 234 x 156 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja > Architektura klient-serwer
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Molecular Biology of Bacteria Rajarshi Kumar Gaur / Książka Twarda
common.buy 1 130.45 zł
Granular Matter Anita Mehta / Książka Twarda
common.buy 653.27 zł
Drug Discovery Robert A. Maxwell / Książka Twarda
common.buy 743.68 zł
How to Draw Pirates Step-by-Step Guide: Best Pirate Drawing Book for You and Your Kids Andy Hopper / Książka Miękka
common.buy 55.31 zł
Marketing 2.0 Gerald Corbae / Książka Twarda
common.buy 213.97 zł
France's Rhineland Policy, 1914-1924 Walter A. McDougall / Książka Twarda
common.buy 684.54 zł
Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century Etsuko Hae-Jin Kang / Książka Twarda
common.buy 489.70 zł
Theoretical Perspectives on Historians' Autobiographies Jaume Aurell / Książka Twarda
common.buy 994.75 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo