Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 6 listopada 1996
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

S Merz
Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science

Cena
zł 217,90

Zamówione z odległego magazynu

Przewidywana dostawa 2 - 12 paź
Otrzymuj powiadomienia o nowych wydawnictwach S Merz

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.

566 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 6 listopada 1996
ISBN13 9783540619840
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 566
Wymiary 234 × 156 × 29 mm   ·   789 g
Język Niemiecki  
Redaktor Broy, Manfred
Redaktor Merz, Stephan
Redaktor Spies, Katharina

Więcej od tego samego wydawcy

Zobacz wszystko od S Merz