Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Algebraic Methodology and Software Technology - 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings (Paperback, 1997 ed.)
Loot Price: R3,067
Discovery Miles 30 670
|
|
Algebraic Methodology and Software Technology - 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1349
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R3,087
Discovery Miles: 30 870
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.