author:Sannella, Donald

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (Lecture Notes in Computer Science, 788)

Sannella, Donald

Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)

Orejas, Fernando／Bidoit, Michel／Kreowski, Hans-J??rg／Sannella, Donald／Lescanne, Pierre

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers (Lecture Notes in Computer Science, 332)

Tarlecki, Andrzej／Sannella, Donald

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3142)

Diaz, Josep／Karhumaeki, Juhani／Lepistoe, Arto／Sannella, Donald

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed

Sannella,D.(Donald),1956- EuropeanSymposiumonProgramming(5th:1994:Edinburgh,Scotland)

Foundations of algebraic specification and formal software development

Donald Sannella, Andrzej Tarlecki

Trustworthy global computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers

Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)

Introduction to computation : Haskell, logic and automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

CASL user manual : introduction to using the Common Algebraic Specification Language

Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki

Deduction : automated logic

by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella