Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems (Paperback)
  • Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems (Paperback)

Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems (Paperback)

£36.45
Paperback Published: 27/06/2003
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

Publisher: Logos Verlag Berlin GmbH
ISBN: 9783832501525

You may also be interested in...

Your review has been submitted successfully.

We would love to hear what you think of Waterstones. Why not review Waterstones on Trustpilot?


Review us on Trustpilot