Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 6 de novembro de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 15 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do 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ídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de novembro de 1996
ISBN13 9783540619840
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 566
Dimensões 234 × 156 × 29 mm   ·   789 g
Idioma Alemão  
Editor Broy, Manfred
Editor Merz, Stephan
Editor Spies, Katharina

Mere med samme udgiver

Ver tudo de S Merz ( por exemplo Paperback Book )