|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Paperback, 1996 ed.)
Loot Price: R3,094
Discovery Miles 30 940
|
|
|
Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1101
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 5th
International Conference on Algebraic Methodology and Software
Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of
67 submissions and 23 system demonstrations; also included are six
invited talks and six invited presentations of the AMAST Education
Day on industrial applications of formal methods. The full papers
are organized in topical sections on theorem proving, algebraic
specification, concurrent and reactive systems, program
verification, logic programming and term rewriting, and 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.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
