Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science - L De Alfaro - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540425564 - 29 de agosto de 2001
En caso de que portada y título no coincidan, el título será el correcto

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science 2001 edition

Precio
Mex$ 958
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de L De Alfaro
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.


224 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de agosto de 2001
ISBN13 9783540425564
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 224
Dimensiones 155 × 235 × 12 mm   ·   335 g
Lengua Alemán  
Editor Alfaro, Luca de
Editor Gilmore, Stephen

Más del mismo editor