The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

The Complete Guide to SCION: From Design Principles Formal Verification

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

High-Level Verification: Methods and Tools for Verification of System-Level Designs
Loading Inventory...

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Current price: $109.99
A Roadmap for Formal Property Verification
Loading Inventory...

A Roadmap for Formal Property Verification

Barnes and Noble
Current price: $109.99
Effective Functional Verification: Principles and Processes
Loading Inventory...

Effective Functional Verification: Principles and Processes

Barnes and Noble
Current price: $109.99
Embedded System Design: Modeling, Synthesis and Verification / Edition 1
Loading Inventory...

Embedded System Design: Modeling, Synthesis and Verification / Edition 1

Barnes and Noble
Current price: $54.99
System Verification: Proving the Design Solution Satisfies the Requirements / Edition 2
Loading Inventory...

System Verification: Proving the Design Solution Satisfies the Requirements / Edition 2

Barnes and Noble
Current price: $110.00
SAT-Based Scalable Formal Verification Solutions / Edition 1
Loading Inventory...

SAT-Based Scalable Formal Verification Solutions / Edition 1

Barnes and Noble
Current price: $169.99
Introduction to Formal Hardware Verification / Edition 1
Loading Inventory...

Introduction to Formal Hardware Verification / Edition 1

Barnes and Noble
Current price: $54.99
Fundamentals of IP and SoC Security: Design, Verification, Debug
Loading Inventory...

Fundamentals of IP and SoC Security: Design, Verification, Debug

Barnes and Noble
Current price: $139.99
System-on-Chip Security: Validation and Verification
Loading Inventory...

System-on-Chip Security: Validation and Verification

Barnes and Noble
Current price: $89.99
CAN System Engineering: From Theory to Practical Applications
Loading Inventory...

CAN System Engineering: From Theory to Practical Applications

Barnes and Noble
Current price: $239.00
The Foundations of Program Verification
Loading Inventory...

The Foundations of Program Verification

Barnes and Noble
Current price: $44.99
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Loading Inventory...

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications

Barnes and Noble
Current price: $74.95
Hybrid Systems III: Verification and Control / Edition 1
Loading Inventory...

Hybrid Systems III: Verification and Control / Edition 1

Barnes and Noble
Current price: $109.99
ASIC Design Implementation Process: A Complete Framework
Loading Inventory...

ASIC Design Implementation Process: A Complete Framework

Barnes and Noble
Current price: $109.99
Formal Verification of Circuits
Loading Inventory...

Formal Verification of Circuits

Barnes and Noble
Current price: $169.99
Logic Synthesis and Verification / Edition 1
Loading Inventory...

Logic Synthesis and Verification / Edition 1

Barnes and Noble
Current price: $179.00
Powered by Adeptmind