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

Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science, Series Number 24) (ISBN-13: 9780521401838 and ISBN-10: 0521401836), written by authors D. Sannella, A. Tarlecki, was published by Cambridge University Press in 2004. With an overall rating of 4.0 stars, it's a notable title among other books. You can easily purchase or rent Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science, Series Number 24) (Hardcover) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.57.