Conte aos seus amigos sobre este item:
Algebraic Methodology and Software Technology: 6th International Conference, Amast '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings - Lecture Notes in Computer Science Michael Johnson
Algebraic Methodology and Software Technology: 6th International Conference, Amast '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings - Lecture Notes in Computer Science
Michael Johnson
Constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, held Australia, in 1997. This volume addresses various aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
602 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1 de dezembro de 1997 |
| ISBN13 | 9783540638889 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 602 |
| Dimensões | 156 × 234 × 31 mm · 843 g |
| Idioma | Alemão |
| Editor | Johnson, Michael |