Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
Title: Verification and Validation of Rule-Based Expert Systems, Author: Suzanne Smith
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS / Edition 1, Author: Michael Yoeli
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Author: Nachum Dershowitz
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Web Hacking Arsenal: A Practical Guide to Modern Web Pentesting, Author: Rafay Baloch
Title: Writing Scientific Software: A Guide to Good Style, Author: Suely Oliveira
Title: xUnit Test Patterns: Refactoring Test Code, Author: Gerard Meszaros
Explore Series
Title: Your Code as a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs, Author: Adam Tornhill

Pagination Links