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

Home

Barnes and Noble

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

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

You May Also Like

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

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

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

High-Level System Modeling: Specification Languages / Edition 1

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
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
Applied System Simulation: Methodologies and Applications

Applied System Simulation: Methodologies and Applications

Barnes and Noble
Model-Based Systems Engineering with OPM and SysML

Model-Based Systems Engineering with OPM and SysML

Barnes and Noble
Formal Methods and Object Technology

Formal Methods and Object Technology

Barnes and Noble
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

Barnes and Noble
Learn PROLOG Now!

Learn PROLOG Now!

Barnes and Noble
System of Systems Modeling and Analysis

System of Systems Modeling and Analysis

Barnes and Noble
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Barnes and Noble
Spring Next Generation: Aspect Oriented Programming

Spring Next Generation: Aspect Oriented Programming

Barnes and Noble
Aspect-Oriented Requirements Engineering

Aspect-Oriented Requirements Engineering

Barnes and Noble
Software Requirements Engineering / Edition 2

Software Requirements Engineering / Edition 2

Barnes and Noble
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / Edition 1

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / Edition 1

Barnes and Noble
Platform Regulation: Exemplars, Approaches, and Solutions

Platform Regulation: Exemplars, Approaches, and Solutions

Barnes and Noble
Powered by Adeptmind