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

Home

Barnes and Noble

Tool Support for System Specification, Development and Verification

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

You May Also Like

Protocol Specification, Testing and Verification XIV / Edition 1
Loading Inventory...

Protocol Specification, Testing and Verification XIV / Edition 1

Barnes and Noble
Current price: $169.99
High-Level System Modeling: Specification Languages / Edition 1
Loading Inventory...

High-Level System Modeling: Specification Languages / Edition 1

Barnes and Noble
Current price: $109.99
Protocol Specification, Testing and Verification XV / Edition 1
Loading Inventory...

Protocol Specification, Testing and Verification XV / Edition 1

Barnes and Noble
Current price: $219.99
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
From Specification to Embedded Systems Application
Loading Inventory...

From Specification to Embedded Systems Application

Barnes and Noble
Current price: $109.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
Formal Specification and Design
Loading Inventory...

Formal Specification and Design

Barnes and Noble
Current price: $61.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
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
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems
Loading Inventory...

Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

Barnes and Noble
Current price: $61.00
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Loading Inventory...

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Barnes and Noble
Current price: $139.99
System of Systems Modeling and Analysis
Loading Inventory...

System of Systems Modeling and Analysis

Barnes and Noble
Current price: $150.00
Software Specification Methods: An Overview Using a Case Study / Edition 1
Loading Inventory...

Software Specification Methods: An Overview Using a Case Study / Edition 1

Barnes and Noble
Current price: $109.99
Digital System Test and Testable Design: Using HDL Models and Architectures
Loading Inventory...

Digital System Test and Testable Design: Using HDL Models and Architectures

Barnes and Noble
Current price: $89.99
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System
Loading Inventory...

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System

Barnes and Noble
Current price: $109.99
Powered by Adeptmind