
Formal Techniques for Distributed Systems
John Hatcliff, Elena Zucca
₹5,508

Practice and Theory: Diku 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
by John Hatcliff, Torben Mogensen, Peter Thiemann
Free delivery. Nothing extra to pay at checkout.
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations.
Description supplied by the publisher.