Home Advanced Search

Advanced Search - Page 1

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.)
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
Algorytmy i struktury danych
  • PDF
  • Polish
  • Year: 2019
  • Author: Rytter Wojciech, Diks Krzysztof, Banachowski Lech
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (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.)
TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (eds.)
search