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
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.)
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.)
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.)
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
  • DJVU
  • English
  • Year: 1988
  • Author: Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alexander Kurz, Marina Lenisa, Andrzej Tarlecki
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.)
search