Sell, buy or rent A. Tarlecki textbooks
Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science, Series Number 24)
by
D. Sannella, A. Tarlecki
ISBN-13: 9780521401838
ISBN-10: 0521401836
Publication date: 2004
Publisher:
Cambridge University Press
Format:
Hardcover
300 pages