Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 6. novembra 1996
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 10. - 18. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja 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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 6. novembra 1996
ISBN13 9783540619840
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 566
Dimenzije 234 × 156 × 29 mm   ·   789 g
Jezik Nemščina  
Urednik Broy, Manfred
Urednik Merz, Stephan
Urednik Spies, Katharina

Mere med samme udgiver

Ogled vseh S Merz ( Na primer Paperback Book )