Books > Computing & IT > Computer programming
|
Buy Now
Mathematics of Program Construction - Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings (Paperback, 1995 ed.)
Loot Price: R1,719
Discovery Miles 17 190
|
|
Mathematics of Program Construction - Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 947
Expected to ship within 10 - 15 working days
|
This volume constitutes the proceedings of the Third International
Conference on the Mathematics of Program Construction, held at
Kloster Irsee, Germany in July 1995.
Besides five invited lectures by distinguished researchers there
are presented 19 full revised papers selected from a total of 58
submissions. The general theme is the use of crisp, clear
mathematics in the discovery and design of algorithms and in the
development of corresponding software and hardware; among the
topics addressed are program transformation, program analysis,
program verification, as well as convincing case studies.
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.