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

Home

Barnes and Noble

Automatic Methods for the Refinement of System Models: From Specification to Implementation

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

You May Also Like

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
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
Refinement: Semantics, Languages and Applications
Loading Inventory...

Refinement: Semantics, Languages and Applications

Barnes and Noble
Current price: $54.99
From Action Systems to Distributed Systems: The Refinement Approach
Loading Inventory...

From Action Systems to Distributed Systems: The Refinement Approach

Barnes and Noble
Current price: $59.99
Interaction Models: Specification and Interpretation
Loading Inventory...

Interaction Models: Specification and Interpretation

Barnes and Noble
Current price: $150.00
Formal Methods and Models for System Design: A System Level Perspective / Edition 1
Loading Inventory...

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

Barnes and Noble
Current price: $219.00
Formal Specification and Design
Loading Inventory...

Formal Specification and Design

Barnes and Noble
Current price: $61.99
Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification
Loading Inventory...

Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification

Barnes and Noble
Current price: $99.99
Formal Specification Level: Concepts, Methods, and Algorithms
Loading Inventory...

Formal Specification Level: Concepts, Methods, and Algorithms

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

System of Systems Modeling and Analysis

Barnes and Noble
Current price: $150.00
Specification and Transformation of Programs: A Formal Approach to Software Development
Loading Inventory...

Specification and Transformation of Programs: A Formal Approach to Software Development

Barnes and Noble
Current price: $54.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
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method / Edition 1
Loading Inventory...

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

Barnes and Noble
Current price: $109.99
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
AI Assisted MBSE with SysML: An Integrated Systems/Software Approach
Loading Inventory...

AI Assisted MBSE with SysML: An Integrated Systems/Software Approach

Barnes and Noble
Current price: $70.00
System Design Modeling and Metamodeling / Edition 1
Loading Inventory...

System Design Modeling and Metamodeling / Edition 1

Barnes and Noble
Current price: $169.99
Powered by Adeptmind