Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $8.38
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy from $10.08
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $8.40
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $35.46
eBook from $48.99
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $113.94
eBook from $99.95
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $24.11
eBook from $85.95
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy from $85.49
|
Java for Testers: Learn Java...
Alan Richardson
Buy from $12.00
|
Principles of Functional...
Andreas Meyer
Buy from $24.07
|
Independent Verification and...
Robert O Lewis
Buy from $10.67
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $62.38
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy from $7.96
|
Game Testing All in One
Robert Bryant
Buy from $49.43
eBook from $59.99
|
Verification and Validation...
William L Oberkampf,
Christopher J Roy
Buy from $108.18
eBook from $143.20
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $58.06
eBook from $64.00
|
Software Verification and...
Steven R Rakitin
Buy from $21.92
eBook from $82.00
|
SystemVerilog for...
Chris Spear
Buy from $56.95
|
Verificationism: Its History...
C J Misak
Buy from $27.00
eBook from $36.85
|
Foundations of Software...
Dorothy Graham
Buy from $9.62
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $8.96
eBook from $44.99
|
The Economics of Software...
Capers Jones,
Olivier Bonsignour
Buy from $20.10
eBook from $62.99
|
Code Clone Analysis: Research...
Katsuro Inoue (Editor),
Chanchal K. Roy (Editor)
Buy from $178.08
eBook from $50.70
|
Verification and Validation...
Patrick J. Roache
Buy from $373.58
|
Methodological Pragmatism
Nicholas Rescher
Buy from $212.24
|
