Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Validation of Evolving Software

Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina Paperback 2016

⭐ 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, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
  • ISBN 13: 9783319382005
  • ISBN 10: 3319382004
  • Publication Year: 2016
  • Language: English

Specifications

Index-103319382004
LanguageEnglish
Index-139783319382005
Period-
Class Track-
Publisher- (2016)
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
Computer Aided Verification : 30th International Conference, CAV 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

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
Cam Jansen and the Sports Day Mysteries

Cam Jansen and the Sports Day Myst…

David A. Adler, Joy Allen

Inquire
BETTER BACKGAMMON

BETTER BACKGAMMON

Tim Holland

Inquire