CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science - J C M Baseten - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540664253 - 13 de agosto de 1999
En caso de que portada y título no coincidan, el título será el correcto

J C M Baseten
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science 1999 edition

Precio
$ 106,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 23 de jul.

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

This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement.

584 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de agosto de 1999
ISBN13 9783540664253
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 584
Dimensiones 155 × 235 × 30 mm   ·   820 g
Lengua Alemán  
Editor Baeten, Jos C.M.
Editor Mauw, Sjouke

Mere med samme udgiver

Ver todo de J C M Baseten ( Ej. Paperback Book )