Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science - Jaco W De Bakker - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540525592 - 25 de abril de 1990
En caso de que portada y título no coincidan, el título será el correcto

Jaco W De Bakker
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 1.849
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Jaco W De Bakker

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

Aún no valorado

This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.

812 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de abril de 1990
ISBN13 9783540525592
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 812
Dimensiones 155 × 235 × 41 mm   ·   1,13 kg
Lengua Alemán  
Editor Bakker, J. W. De
Editor De Roever, Willem-paul
Editor Rozenberg, Grzegorz
Editor Warpechowski, Marek

Más del mismo editor

Ver todo de Jaco W De Bakker ( Ej. Paperback Book )