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
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver