Algebraic Methodology Of Software Technology
Download Algebraic Methodology Of Software Technology full books in PDF, epub, and Kindle. Read online free Algebraic Methodology Of Software Technology ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Algebraic Methodology and Software Technology
Author | : Michael Johnson |
Publisher | : Springer Science & Business Media |
Total Pages | : 612 |
Release | : 1997-12 |
Genre | : Computers |
ISBN | : 9783540638889 |
Download Algebraic Methodology and Software Technology Book in PDF, Epub and Kindle
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.
Algebraic Methodology and Software Technology Related Books
Pages: 612
Pages: 660
Pages: 542
Pages: 556
Pages: 442