verification

【3-4周达】Constraint-Based Verification (Softcover reprint of hardcover 1st ed. 2006) [9781441938527]

【3-4周达】A System-Space Pattern-Driven Verification Framework for Defending Core Services Against M... [9798230684954]

【3-4周达】Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications [9783642074479]

【3-4周达】精装 Modeling And Verification Of Real-Time Systems [Wiley电子电气工程] [9781848210134]

【3-4周达】Formal Verification of Structurally Complex Multipliers [9783031245732]

【3-4周达】Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1... [9783540551799]

【3-4周达】Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, Ju... [9783031986673]

【3-4周达】Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, R... [9783642397981]

【3-4周达】Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, J... [9783540705437]

【3-4周达】Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, US... [9783540614746]

【3-4周达】Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working C... [9783540567783]

【3-4周达】Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model [9783731501725]

【3-4周达】Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sw... [9783540625032]

【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: 4th International... [9783642165573]

【3-4周达】Verification and Validation of Complex Systems: Human Factors Issues [9783642081552]

【3-4周达】Deductive verification of object-oriented software : dynamic frames, dynamic logic and pre... [9783866446236]

【3-4周达】Hardware and Software, Verification and Testing: Second International Haifa Verification C... [9783540708889]

【3-4周达】Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, Ju... [9783031986789]

【3-4周达】Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, J... [9783540405245]

【3-4周达】Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques [9781441951762]

【3-4周达】Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15... [9783032054340]

【3-4周达】Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California,... [9783540581796]

预订 National forest monitoring systems: monitoring and measurement, reporting and verification (M & ... [9789251079621]

【3-4周达】Guide to Software Verification with Frama-C: Core Components, Usages, and Applications [9783031556104]

预订 Open Source Based Web-GIS Technology for Voter ID Verification [9783848496068]

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

【3-4周达】Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification [9783030878849]

预订 Cooperative PDP for Integrity Verification in Multi-Cloud Storage [9786206163855]

预订 Software Fault Prevention, Verification, and Validation Second International Symposium, SFPVV 2025, Shanghai, China

【3-4周达】Verification, Model Checking, and Abstract Interpretation : 16th International Conference,... [9783662460801]