Home Advanced Search

Advanced Search - Page 1

8 specification languages
  • PDF
  • English
  • Author: Sannella D.
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
  • PDF
  • English
  • Year: 1988
  • Author: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, no cover)
  • PDF
  • English
  • Year: 2021
  • Author: D. Sannella. M Fourman, H. Peng and P. Wadler
Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)
  • PDF
  • English
  • Year: 2021
  • Author: D. Sannella. M Fourman, H. Peng and P. Wadler
Perspectives for a New Social Theory of Sustainability
  • EPUB
  • English
  • Year: 2020
  • Author: Mariella Nocenzi ; Alessandra Sannella
Foundations of Algebraic Specification and Formal Software Development
  • PDF
  • English
  • Year: 2012
  • Author: Donald Sannella, Andrzej Tarlecki
Foundations of Algebraic Specification and Formal Software Development
  • PDF
  • English
  • Year: 2012
  • Author: Donald Sannella, Andrzej Tarlecki
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Annalisa Bossi (eds.)
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Annalisa Bossi (eds.)
Intermediate accounting
  • PDF
  • English
  • Year: 2019
  • Author: Gordon, Elizabeth A.; Raedy, Jana Smith; Sannella, Alexander John
search