Home Advanced Search

Advanced Search - Page 1

The Specification of Computer Programs (International Computer Science Series)
  • DJVU
  • English
  • Year: 1987
  • Author: Thomas S. E. Maibaum, Wladyslaw M. Turski
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
  • PDF
  • English
  • Year: 1993
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 3: Semantic Structures
  • DJVU
  • English
  • Year: 1994
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 2: Background: Computational structures
  • DJVU
  • English
  • Year: 1992
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • DJVU
  • English
  • Year: 1995
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • PDF
  • English
  • Year: 1995
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods
  • DJVU
  • English
  • Year: 2001
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods
  • PDF
  • English
  • Year: 2001
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Władysław M. Turski (auth.), Tom Maibaum (eds.)
The Specification of Computer Programs
  • DJVU
  • English
  • Year: 1987
  • Author: Maibaum T.S.E., Turski W.M.
search