Donald Sannella – författare

Visar alla böcker från författaren Donald Sannella.

8 produkter

Kategorier

8 produkter

Introduction to Computation
Haskell, Logic and Automata
AvDonald Sannella,Michael Fourmanm. fl.
Häftad, Engelska, 2022
569 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
AvJosep Diaz,Juhani Karhumäkim. fl.
Häftad, Engelska, 2004
2 479 kr
Skickas inom 10-15 vardagar
Recent Trends in Data Type Specification
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
AvDonald Sannella
Häftad, Engelska, 1988
739 kr
Skickas inom 10-15 vardagar
Algebraic System Specification and Development
A Survey and Annotated Bibliography
AvMichel Bidoit,Hans-Jörg Kreowskim. fl.
Häftad, Engelska, 1991
709 kr
Skickas inom 10-15 vardagar
Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
AvDonald Sannella
Häftad, Engelska, 1994
739 kr
Skickas inom 10-15 vardagar
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
AvUgo Montanari,Donald Sannellam. fl.
Häftad, Engelska, 2007
739 kr
Skickas inom 10-15 vardagar
Foundations of Algebraic Specification and Formal Software Development
AvDonald Sannella,Andrzej Tarlecki
Inbunden, Engelska, 2011
1 709 kr
Skickas inom 10-15 vardagar
Foundations of Algebraic Specification and Formal Software Development
AvDonald Sannella,Andrzej Tarlecki
Häftad, Engelska, 2014
1 699 kr
Skickas inom 10-15 vardagar