Recomienda este artículo a tus amigos:
Analysis and Verification of Multiple-agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers - Lecture Notes in Computer Science Z. Michalewicz 1997 edition
Analysis and Verification of Multiple-agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers - Lecture Notes in Computer Science
Z. Michalewicz
The LOMAPS Workshop is an ESPRIT project devoted to program analysis and and verification techniques applicable to emerging multi-paradigm programming languages. This volume presents 14 revised full papers selected from the workshop submissions, together with four invited contributions.
444 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 7 de enero de 1997 |
| ISBN13 | 9783540625032 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 444 |
| Dimensiones | 156 × 234 × 23 mm · 625 g |
| Lengua | Inglés |
| Editor | Dam, M. |