Algebraic Methodology and Software Technology
Download or Read eBook Algebraic Methodology and Software Technology PDF written by Michael Johnson and published by Springer Science & Business Media. This book was released on 1997-12 with total page 612 pages. Available in PDF, EPUB and Kindle.
| Author | : Michael Johnson |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 612 |
| Release | : 1997-12 |
| ISBN-10 | : 3540638881 |
| ISBN-13 | : 9783540638889 |
| Rating | : 4/5 (81 Downloads) |
Book Synopsis Algebraic Methodology and Software Technology by : Michael Johnson
Book excerpt: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
