Recent Advancements in...
Adarsh Anand (Editor),
Mangey Ram (Editor)
Buy new from £27.54
eBook from £13.37
|
The Craft of Model-Based...
Paul C Jorgensen
Buy new from £48.24
eBook from £28.08
|
Formal Verification of Object...
Bernhard Beckert (Editor),
Claude March? (Editor)
Buy new from £45.34
eBook from £12.16
|
Testing Software and Systems:...
Inmaculada Medina-Bulo (Editor),
Mercedes G. Merayo (Editor)
Buy new from £49.14
eBook from £13.37
|
Verified Software. Theories,...
Andrew Reynolds (Editor),
Serdar Tasiran (Editor)
Buy new from £49.14
eBook from £13.37
|
Development and Testing of...
Antonio Colmenar-Santos (Editor),
David Borge-Diez (Editor)
Buy new from £124.06
eBook from £38.65
|
Verification, Model Checking,...
Cezara Dragoi (Editor),
Michael Emmi (Editor)
Buy new from £64.81
eBook from £20.67
|
SLIs and SLOs Demystified: A...
Alexandra F. McCoy
Buy new from £42.08
eBook from £32.40
|
Intelligent Crowdsourced...
Qing Wang,
Zhenyu Chen
Buy new from £91.01
eBook from £24.07
|
The French School of...
Bertrand Meyer (Editor)
Buy new from £174.73
eBook from £50.80
|
Computer Aided Verification:...
Madhusudan Parthasarathy (Editor),
Sanjit A. Seshia (Editor)
Buy new from £49.14
eBook from £13.37
|
Testing Software and Systems:...
David Clark (Editor),
Hector Menendez (Editor)
Buy new from £83.40
eBook from £21.64
|
Verified Software. Theories,...
Jonathan Protzenko (Editor),
Azalea Raad (Editor)
Buy new from £49.14
eBook from £13.37
|
Advanced Techniques for...
Mohammad Reza Heidari Iman
Buy new from £163.83
eBook from £26.50
|
Balancing Software Innovation...
Jannik Fischbach (Editor),
Rudolf Ramler (Editor)
Buy new from £98.62
eBook from £26.50
|
Early Software Reliability...
Ajeet Kumar Pandey,
Neeraj Kumar Goyal
Buy new from £91.01
eBook from £24.07
|
Hardware and Software:...
Sharon Barner (Editor),
Ian Harris (Editor)
Buy new from £49.14
eBook from £13.37
|
Model Checking Software: 19th...
Alastair Donaldson (Editor),
David Parker (Editor)
Buy new from £60.47
eBook from £17.02
|
