Home Advanced Search

Advanced Search - Page 1

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
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (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.)
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
  • EPUB
  • English
  • Year: 2022
  • Author: Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Introduction to Computation: Haskell, Logic and Automata
  • PDF
  • English
  • Year: 2022
  • Author: Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)
search