Don't forget to bookmark this web site !!
Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

|  FAQ/About us |  Recommend us |  Browse |  Memo |  Book Reviews |  Random Quotes |  Help |

 

Find more info., search and price compare for
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings (Lecture Notes in Computer Science)
by
Binding: Paperback, 1 edition, 594 pages
Publisher: Springer
Weight: 1.8 pound
Dimension: H: 0.75 x L: 9.3 x W: 0.5 inches
ISBN 10: 3540638881
ISBN 13: 9783540638889
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

 

Book Description:
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.


|  Home |  FAQ/About us |  Link to us |  Recommend us |  Contact us |  Bookstores |  Memo |

Shipping Destination:
State:
(US only)
Display in:
Search by:

Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]