Recomienda este artículo a tus amigos:
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed
W R Cleaveland
Precio
€ 65,49
Pedido desde almacén remoto
Entrega prevista 17 - 26 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed
W R Cleaveland
This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.
468 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de marzo de 1999 |
| ISBN13 | 9783540657033 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 468 |
| Dimensiones | 156 × 234 × 23 mm · 648 g |
| Editor | Cleaveland, W. Rance |
Ver todo de W R Cleaveland ( Ej. Paperback Book )