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

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

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

High-Level System Modeling: Specification Languages / Edition 1

Barnes and Noble
System Design Modeling and Metamodeling / Edition 1

System Design Modeling and Metamodeling / Edition 1

Barnes and Noble
Interaction Models: Specification and Interpretation

Interaction Models: Specification and Interpretation

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

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

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

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

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

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

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

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

Barnes and Noble
Assertion-Based Design / Edition 2

Assertion-Based Design / Edition 2

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

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

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

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

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

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

Barnes and Noble
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

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

Formal Specification: Techniques and Applications / Edition 1

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

Formal Equivalence Checking and Design Debugging / Edition 1

Barnes and Noble
Formal Specification and Design

Formal Specification and Design

Barnes and Noble
Powered by Adeptmind