verification

【3-4周达】ESL Models and their Application : Electronic System Level Design and Verification in Prac... [9781461425410]

【3-4周达】精装 Next Generation Design and Verification Methodologies for Distributed Embedded Contro... [9781402062537]

【3-4周达】Hardware/Software Co-Design and Co-Verification [9781441951595]

【3-4周达】Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July... [9783031377020]

【3-4周达】VLSI Specification, Verification and Synthesis [9781461291978]

【3-4周达】VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability: 24t... [9783319883793]

【3-4周达】精装 Software Verification and Validation for Practitioners and Managers 2nd ed. [9781580532969]

【3-4周达】Runtime Verification : A Hands-On Approach in Java (1st ed. 2022) [9783031092664]

【3-4周达】Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, Augu... [9783031131875]

【3-4周达】Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 200... [9783540755951]

【3-4周达】Verification and Validation of Real-Time Software [9783642702266]

预订 Seismic Verification and Inspection of Donghi Building: A Case Study [9783659382956]

【3-4周达】Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification L... [9781461350941]

【3-4周达】精装 Verification of Reactive Systems [9783540002963]

【3-4周达】Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Co... [9783540603856]

【3-4周达】Formal Verification of Concurrent Embedded Software [9783739241241]

【3-4周达】Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 20... [9783540773948]

预订 Palm Veins Recognition and Verification System [9783659596179]

【3-4周达】精装 Medical Device Software: Verification, Validation, and Compliance [9781596934221]

【3-4周达】Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint I... [9783540425564]

【3-4周达】精装 Operational Semantics and Verification of Security Protocols [9783540786351]

【3-4周达】Hybrid Systems III : Verification and Control [9783540611554]

【3-4周达】Software Quality Approaches: Testing, Verification, and Validation : Software Best Practice 1 [9783540417842]

【3-4周达】精装 Formal Verification of Structurally Complex Multipliers [9783031245701]

【3-4周达】Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Y... [9783030643539]

【3-4周达】Design, Specification and Verification of Interactive Systems '98 : Proceedings of the Eur... [9783211832127]

【3-4周达】Analysis, Verification and Transformation for Declarative Programming and Intelligent Syst... [9783031314759]

【3-4周达】精装 Accuracy Verification Methods : Theory and Algorithms [9789400775800]

【3-4周达】SystemVerilog for Hardware Description : RTL Design and Verification [9789811544071]

【3-4周达】Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canad... [9783031656262]