Home Advanced Search

Advanced Search - Page 1

Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: T. S. E. Maibaum (auth.), Ferhat Khendek, Rachida Dssouli (eds.)
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: Luca Aceto (auth.), S. Abramsky, T. S. E. Maibaum (eds.)
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.)
Background Mathematical Structures
  • DJVU
  • English
  • Year: 1995
  • Author: S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)
Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
  • PDF
  • English
  • Year: 1996
  • Author: Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq (eds.)
SDL '99. The Next Millennium
  • PDF
  • English
  • Year: 1999
  • Author: Rachida Dssouli, Gregor v. Bochmann and Yair Lahav (Eds.)
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Ferhat Khendek, Reinhard Gotzhein
SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erős, Gábor Kovács (auth.), Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (eds.)
Handbook of Logic in Computer Science 5
  • PDF
  • English
  • Year: 2001
  • Author: S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum
Handbook of Logic in Computer Science 5
  • PDF
  • English
  • Year: 2001
  • Author: S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum
search