Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 6 de noviembre de 1996
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 984
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 17 de abr.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de 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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de noviembre de 1996
ISBN13 9783540619840
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 566
Dimensiones 234 × 156 × 29 mm   ·   789 g
Lengua Alemán  
Editor Broy, Manfred
Editor Merz, Stephan
Editor Spies, Katharina

Ver todo de S Merz ( Ej. Paperback Book )