Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

by Ganesh Gopalakrishnan, Shaz Qadeer Paperback 2011

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Ganesh Gopalakrishnan, Shaz Qadeer
  • ISBN 13: 9783642221095
  • ISBN 10: 3642221092
  • Publication Year: 2011
  • Language: English

Specifications

Index-103642221092
LanguageEnglish
Index-139783642221095
Period-
Class Track-
Publisher- (2011)
Pages-

✨ Readers also enjoyed...

View All →
Computation Engineering : Applied Automata Theory and Logic

Computation Engineering : Applied …

Ganesh Gopalakrishnan

Inquire
Computation Engineering : Applied Automata Theory and Logic

Computation Engineering : Applied …

Ganesh Gopalakrishnan

Inquire
Formal Methods in Computer-Aided Design : Second Internaitonal Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : Proceedings

Formal Methods in Computer-Aided D…

FMCAD '98 Staff, Ganesh Gopalakrishnan, Phillip J. Windley

Inquire
Cool Milk in Any Flavour You Like

Cool Milk in Any Flavour You Like

Ontario Milk Marketing Board

Inquire
Quantum State Transfer and Network Engineering

Quantum State Transfer and Network…

Georgios M. Nikolopoulos, Igor Jex

Inquire