TV Shows

Games

Movies

Books

Explore

Status

Rate

List

Check Later

Author

Donald Sannella

Subjects

Computer Science Symbolic And Mathematical Logic Algebra Logic Design Homological Algebra Category Theory Software Engineering Computer Software Logics And Meanings Of Programs Software Engineering/Programming And Operating Systems Development Mathematical Logic And Foundations

-

/ 5

votes

Foundations of Algebraic Specification and Formal Software Development