D. Sannella
Popular items by D. Sannella
View all offers-
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (eds.)
Item prices starting from
View 8 offersUS$ 10.61
-
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Sannella, Donald; Fourman, Michael; Peng, Haoran; Wadler, Philip
Item prices starting from
View 22 offersUS$ 35.00
-
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Sannella, Donald; Tarlecki, Andrzej
Item prices starting from
View 21 offersUS$ 88.87
