Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
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
▸
Pusty :-(
0
Formal Systems Specification
Język
Angielski
Angielski
Książka
Miękka
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal...
Cały opis
Kod Libristo: 01566254
?
154 b
154 b
262.26
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
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.
Informacje o książce
Pełna nazwa
Formal Systems Specification
Autor
Manfred Broy, Stephan Merz, Katharina Spies
Język
Angielski
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
