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