Formal-Systems-Specification-The-RPC-Memory-Specification-Case-Study-Lecture-Notes-in-Computer-Science-Band-1169 106,99 EUR*


  • Kategorie: Diverse Bücher
  • Preis: 106,99 EUR*
  • Lieferzeit: Versandfertig in 4 - 5 Werktagen
  • EAN: 9783540619840
  • Händler:
Zum Angebot Formal Systems Specification 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 ...