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

Home

Barnes and Noble

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method / Edition 1

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

You May Also Like

Design-Oriented Analysis of Structures: A Unified Approach / Edition 1
Barnes and Noble

Design-Oriented Analysis of Structures: A Unified Approach / Edition 1

From Barnes and Noble
High-Level System Modeling: Specification Languages / Edition 1
Barnes and Noble

High-Level System Modeling: Specification Languages / Edition 1

From Barnes and Noble
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems
Barnes and Noble

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

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

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

From Barnes and Noble
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Barnes and Noble

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

From Barnes and Noble
Object-Oriented Systems Analysis And Design Using Uml / Edition 4
Barnes and Noble

Object-Oriented Systems Analysis And Design Using Uml / Edition 4

From Barnes and Noble
Assertion-Based Design / Edition 2
Barnes and Noble

Assertion-Based Design / Edition 2

From Barnes and Noble
Software Specification Methods: An Overview Using a Case Study / Edition 1
Barnes and Noble

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

From Barnes and Noble
Object-Oriented Analysis, Design and Implementation: An Integrated Approach
Barnes and Noble

Object-Oriented Analysis, Design and Implementation: An Integrated Approach

From Barnes and Noble
Formal Methods and Models for System Design: A System Level Perspective / Edition 1
Barnes and Noble

Formal Methods and Models for System Design: A System Level Perspective / Edition 1

From Barnes and Noble
Constraint-Based Verification / Edition 1
Barnes and Noble

Constraint-Based Verification / Edition 1

From Barnes and Noble
Formal Specification: Techniques and Applications / Edition 1
Barnes and Noble

Formal Specification: Techniques and Applications / Edition 1

From Barnes and Noble
Formal Equivalence Checking and Design Debugging / Edition 1
Barnes and Noble

Formal Equivalence Checking and Design Debugging / Edition 1

From Barnes and Noble
Formal Specification and Design
Barnes and Noble

Formal Specification and Design

From Barnes and Noble
Building Information Modeling: Automated Code Checking and Compliance Processes / Edition 1
Barnes and Noble

Building Information Modeling: Automated Code Checking and Compliance Processes / Edition 1

From Barnes and Noble
A Theory of Action Identification / Edition 1
Barnes and Noble

A Theory of Action Identification / Edition 1

From Barnes and Noble
Powered by Adeptmind