Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 06. novembra 1996
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 12. - 22. jún

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 06. novembra 1996
ISBN13 9783540619840
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 566
Rozmery 234 × 156 × 29 mm   ·   789 g
Jazyk Nemčina  
Editor Broy, Manfred
Editor Merz, Stephan
Editor Spies, Katharina

Mere med samme udgiver

Pozrieť všetko od S Merz ( napr. Paperback Book )