Recomienda este artículo a tus amigos:
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 2001 edition
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
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 |