Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 1, 1997 |
ISBN13 | 9783540638889 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 602 |
Dimensions | 156 × 234 × 31 mm · 843 g |
Editor | Johnson, Michael |
Show all
More by Michael Johnson
Others have also bought
See all of Michael Johnson ( e.g. Paperback Book , CD , Hardcover Book , Book and Sheet music )