Specification and Transformation of Programs

Specification

Paperback

ISBN: 978-0-387-52589-1

ISBN-10: 0-387-52589-0

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG