Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 6. November 1996
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 10. - 18. Aug
Benachrichtigungen über neue Veröffentlichungen von S Merz erhalten

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 6. November 1996
ISBN13 9783540619840
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 566
Maße 234 × 156 × 29 mm   ·   789 g
Sprache Deutsch  
Redakteur Broy, Manfred
Redakteur Merz, Stephan
Redakteur Spies, Katharina

Mehr vom selben Verlag

Alle Titel von S Merz ansehen ( u. a. Taschenbuch )