Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

by Hana Chockler, Georg Weissenbacher Paperback 2018

⭐ 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: Hana Chockler, Georg Weissenbacher
  • ISBN 13: 9783319961415
  • ISBN 10: 3319961411
  • Publication Year: 2018
  • Language: English

Specifications

Index-103319961411
LanguageEnglish
Index-139783319961415
Period-
Class Track-
Publisher- (2018)
Pages-

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification : 30th…

Hana Chockler, Georg Weissenbacher

Inquire
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revis

Hardware and Software: Verificatio…

Hana Chockler, Alan J. Hu

Inquire
Validation of Evolving Software

Validation of Evolving Software

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Inquire
My Fashion Portfolio

My Fashion Portfolio

Editors of Klutz

Inquire