Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science)

by: D. Sannella · A. Tarlecki

Hardcover

details (United Kingdom).

ISBN: 978-0-521-40183-8

ISBN-10: 0-521-40183-6

Cambridge University Press · 2004