Add to Cart The item has been added Springer Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $86.14
Add to Cart The item has been added Springer Automated Technology for Verification and Analysis: 19th International Symposium, Atva 2021, Gold Coast, Qld, Australia, October 18-22, 2021, Proceedi MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $91.50
Add to Cart The item has been added Springer Genetic Design Automation: A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits (Paperback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $59.31
Add to Cart The item has been added Springer Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $91.50
Add to Cart The item has been added Createspace Independent Publishing Platform Analog-Mixed Signal Verification MSRP: Was: Now: (Inc. Tax) MSRP: $79.99 Was: Now: $76.77
Add to Cart The item has been added Springer Logic Synthesis and Verification Algorithms (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $105.99
Add to Cart The item has been added Routledge Verification: How Much is Enough? (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $179.49
Add to Cart The item has been added Springer Post-Silicon and Runtime Verification for Modern Processors (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $199.99
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013271168) MSRP: Was: Now: (Inc. Tax) MSRP: $65.95 Was: Now: $63.21
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013271175) MSRP: Was: Now: (Inc. Tax) MSRP: $76.95 Was: Now: $73.70
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013271144) MSRP: Was: Now: (Inc. Tax) MSRP: $60.95 Was: Now: $58.44
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013271151) MSRP: Was: Now: (Inc. Tax) MSRP: $72.95 Was: Now: $69.89
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013270994) MSRP: Was: Now: (Inc. Tax) MSRP: $79.95 Was: Now: $76.56
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013271007) MSRP: Was: Now: (Inc. Tax) MSRP: $60.95 Was: Now: $58.44
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013270987) MSRP: Was: Now: (Inc. Tax) MSRP: $67.95 Was: Now: $65.12
Add to Cart The item has been added Springer A Roadmap for Formal Property Verification (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $160.86
Add to Cart The item has been added Saint Philip Street Press Computer Aided Verification (9781013271014) MSRP: Was: Now: (Inc. Tax) MSRP: $72.95 Was: Now: $69.89
Add to Cart The item has been added Springer Systemverilog for Hardware Description: Rtl Design and Verification (Paperback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $95.99
Add to Cart The item has been added Routledge Strategic Disarmament, Verification and National Security (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $151.59
Add to Cart The item has been added Springer Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: $179.99 Was: $186.49 Now: $160.86
Add to Cart The item has been added Springer System-On-Chip Security: Validation and Verification (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $125.99
Add to Cart The item has been added CRC Press Verification of Computer Codes in Computational Science and Engineering MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $256.99
Add to Cart The item has been added Routledge Challenges Of Verification: Smaller States And Arms Control (Paperback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $76.99
Add to Cart The item has been added Springer Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Concepts (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: $219.99 Was: $226.99 Now: $180.43
Add to Cart The item has been added Springer Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Concepts (Paperback) MSRP: Was: Now: (Inc. Tax) MSRP: $219.99 Was: $226.99 Now: $139.98
Add to Cart The item has been added Springer Validation and Verification of Automated Systems: Results of the Enable-S3 Project (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $139.98
Add to Cart The item has been added Springer Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $60.49
Add to Cart The item has been added McFarland & Company "They say I'm not a girl": Case Studies of Gender Verification in Elite Sports MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $49.99
Add to Cart The item has been added Springer Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $60.49
Add to Cart The item has been added Artech House Publishers Software Verification and Validation for Practitioners and Managers 2nd ed. MSRP: Was: Now: (Inc. Tax) MSRP: $109.00 Was: $108.99 Now: $105.05
Add to Cart The item has been added Springer Formal System Verification: State-Of The-Art and Future Trends (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $149.98
Add to Cart The item has been added Springer Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $75.99
Add to Cart The item has been added Springer Systems and Software Verification: Model-Checking Techniques and Tools (Hardback) MSRP: Was: Now: (Inc. Tax) MSRP: $159.99 Was: $166.49 Now: $149.98
Add to Cart The item has been added Sae Edge Research Report Unsettled Topics in Automated Vehicle Data Sharing for Verification and Validation Purposes MSRP: Was: Now: (Inc. Tax) MSRP: $120.00 Was: Now: $114.76
Add to Cart The item has been added Springer Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II MSRP: Was: Now: (Inc. Tax) MSRP: Was: Now: $55.49
Add to Cart The item has been added Artech House Publishers Software Verification and Validation: A MSRP: Was: Now: (Inc. Tax) MSRP: $90.00 Was: $90.99 Now: $87.50