Computer Aided Verification: Techniques and Applications Contributor(s): Dean, Jordan (Editor) |
|
ISBN: 164726586X ISBN-13: 9781647265861 Publisher: Clanrye International OUR PRICE: $145.30 Product Type: Hardcover Published: September 2023 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - Systems Analysis & Design - Computers | Computer Science |
Physical Information: 0.63" H x 7" W x 10" (1.43 lbs) 247 pages |