Computer Software Verification

381 books
Hardware and software, verification and testingInternational Haifa Verification Conference (3rd 2007 Haifa, Israel)
⏱ 4h 26m

Hardware and software, verification and testing

International Haifa Verification Conference (3rd 2007 Haifa, Israel)

2008266 pp.
Hardware and Software: Verification and TestingSharon Barner

Hardware and Software: Verification and Testing

Sharon Barner

2011No page data
Hardware and Software: Verification and TestingKedar S. Namjoshi

Hardware and Software: Verification and Testing

Kedar S. Namjoshi

2011No page data
Hardware and software, verification and testingInternational Haifa Verification Conference (2nd 2006 Haifa, Israel)
⏱ 3h 54m

Hardware and software, verification and testing

International Haifa Verification Conference (2nd 2006 Haifa, Israel)

2007234 pp.
SPIN model checking and software verificationUnknown Author
⏱ 5h 40m

SPIN model checking and software verification

Unknown Author

2000340 pp.
Hardware and software, verification and testingShmuel Ur
⏱ 4h 25m

Hardware and software, verification and testing

Shmuel Ur

2006265 pp.
Hardware and software, verification and testingUnknown Author
⏱ 3h 55m

Hardware and software, verification and testing

Unknown Author

2007235 pp.
Hardware and Software: Verification and TestingArmin Biere
⏱ 4h 47m

Hardware and Software: Verification and Testing

Armin Biere

2013287 pp.
Hardware and Software: Verification and TestingKerstin Eder
⏱ 4h 29m

Hardware and Software: Verification and Testing

Kerstin Eder

2012269 pp.
Hardware and softwareInternational Haifa Verification Conference (4th 2008 Haifa, Israel)
⏱ 3h 34m

Hardware and software

International Haifa Verification Conference (4th 2008 Haifa, Israel)

2009214 pp.
Lessons learned in software testingCem Kaner
⏱ 5h 20m

Lessons learned in software testing

Cem Kaner

2001320 pp.
Software TestingBrian Hambling
⏱ 4h 36m

Software Testing

Brian Hambling

2009276 pp.
Specification by exampleGojko Adzic
⏱ 4h 30m

Specification by example

Gojko Adzic

2011270 pp.
Software testingGerald D. Everett
⏱ 4h 40m

Software testing

Gerald D. Everett

2006280 pp.
Software engineering conceptsR. E. Fairley
⏱ 6h 4m

Software engineering concepts

R. E. Fairley

1985364 pp.
Beautiful testingTim Riley
⏱ 5h 40m

Beautiful testing

Tim Riley

2009340 pp.
A practical guide to adopting the Universal Verification Methodology (UVM)Sharon Rosenberg
⏱ 4h 35m

A practical guide to adopting the Universal Verification Methodology (UVM)

Sharon Rosenberg

2010275 pp.
Principles of model checkingChristel Baier
⏱ 16h 24m

Principles of model checking

Christel Baier

2008984 pp.
Explore it!Elisabeth Hendrickson
⏱ 2h 42m

Explore it!

Elisabeth Hendrickson

2013162 pp.
Model checkingEdmund M. Clarke Jr.
⏱ 6h 17m

Model checking

Edmund M. Clarke Jr.

1999377 pp.
← PreviousPage 2 of 20Next →