Hoppa till sidans huvudinnehåll

Donald Sannella - Böcker

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

Introduction to Computation

Haskell, Logic and Automata

AvDonald Sannella,Michael Fourman m. fl.

Häftad, Engelska, 2022

499 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äki m. fl.

Häftad, Engelska, 2004

2 369 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

719 kr

Skickas inom 10-15 vardagar

Algebraic System Specification and Development

A Survey and Annotated Bibliography

AvMichel Bidoit,Hans-Jörg Kreowski m. fl.

Häftad, Engelska, 1991

699 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

719 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 Sannella m. fl.

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar

Foundations of Algebraic Specification and Formal Software Development

AvDonald Sannella,Andrzej Tarlecki

Inbunden, Engelska, 2011

1 529 kr

Skickas inom 10-15 vardagar

Foundations of Algebraic Specification and Formal Software Development

AvDonald Sannella,Andrzej Tarlecki

Häftad, Engelska, 2014

1 109 kr

Skickas inom 10-15 vardagar