Home Advanced Search

Advanced Search - Page 1

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Kenneth L. McMillan (auth.), Eran Yahav (eds.)
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Kenneth L. McMillan (auth.), Eran Yahav (eds.)
Symbolic Model Checking
  • PDF
  • English
  • Year: 1993
  • Author: Kenneth L. McMillan (auth.)
Automata and computability: a programmer's perspective
  • PDF
  • English
  • Year: 2019
  • Author: Gopalakrishnan, Ganesh
Automata and Computability: A Programmer’s Perspective
  • PDF
  • English
  • Year: 2019
  • Author: Ganesh Gopalakrishnan
Computation engineering: applied automata theory and logic
  • PDF
  • English
  • Year: 2010
  • Author: Ganesh Gopalakrishnan
Computation Engineering: Applied Automata Theory and Logic
  • PDF
  • English
  • Year: 2006
  • Author: Ganesh Gopalakrishnan
Computation engineering: applied automata theory and logic
  • PDF
  • English
  • Year: 2006
  • Author: Ganesh Gopalakrishnan
search