Home Advanced Search

Advanced Search - Page 1

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
Program Development by Refinement: Case Studies Using the B Method
  • PDF
  • English
  • Year: 1999
  • Author: Ken A. Robinson (auth.), Emil Sekerinski, Kaisa Sere (eds.)
Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Tobias Nipkow (auth.), John Hughes (eds.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: J. W. Klop (auth.), Tobias Nipkow (eds.)
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
search