Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)
Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Andreas Zeller (auth.), Rastislav Bodik (eds.)
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: David Harel (auth.), Johan Jeuring (eds.)
Technologiefrühaufklärung mit Data Mining: Informationsprozessorientierter Ansatz zur Identifikation schwacher Signale
  • PDF
  • German
  • Year: 2003
  • Author: Andreas Zeller (auth.)
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Tuerk, Klaus Schneider, Mike Gordon (auth.), Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Tuerk, Klaus Schneider, Mike Gordon (auth.), Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
search