Recomienda este artículo a tus amigos:
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings - Programming and Software Engineering Jos Meseguer 2008 edition
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings - Programming and Software Engineering
Jos Meseguer
Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra.
445 pages, Illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 15 de julio de 2008 |
| ISBN13 | 9783540799795 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Género | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 434 |
| Dimensiones | 155 × 235 × 25 mm · 657 g |
| Lengua | Francés |
| Editor | Meseguer, Jose |
| Editor | Rosu, Grigore |