Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Not currently available
Recent Trends in Algebraic Development Techniques - 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers (Paperback, Modern Library)
Loot Price: R1,636
Discovery Miles 16 360
|
|
Recent Trends in Algebraic Development Techniques - 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers (Paperback, Modern Library)
Series: Lecture Notes in Computer Science, 2267
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
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.