Donald Sannella – författare
Visar alla böcker från författaren Donald Sannella.
8 produkter
Introduction to Computation
Haskell, Logic and Automata
Av Donald Sannella, Michael Fourman m. fl.
Häftad, 2022
559 kr
Lägg i varukorg
Automata, Languages and Programming
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
Av Josep Diaz, Juhani Karhumäki m. fl.
Häftad, 2004
2459 kr
Lägg i varukorg
Recent Trends in Data Type Specification
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
Häftad, 1988
729 kr
Lägg i varukorg
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Av Michel Bidoit, Hans-Jörg Kreowski m. fl.
Häftad, 1991
709 kr
Lägg i varukorg
Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
Häftad, 1994
729 kr
Lägg i varukorg
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Av Ugo Montanari, Donald Sannella m. fl.
Häftad, 2007
729 kr
Lägg i varukorg
Foundations of Algebraic Specification and Formal Software Development
Av Donald Sannella, Andrzej Tarlecki
Inbunden, 2011
1689 kr
Lägg i varukorg
Foundations of Algebraic Specification and Formal Software Development
Av Donald Sannella, Andrzej Tarlecki
Häftad, 2014
1689 kr
Lägg i varukorg