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

Home

Barnes and Noble

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

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
Algebraic System Specification and Development: A Survey and Annotated Bibliography

Algebraic System Specification and Development: A Survey and Annotated Bibliography

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

High-Level System Modeling: Specification Languages / Edition 1

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

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

Barnes and Noble
Automated Theorem Proving in Software Engineering / Edition 1

Automated Theorem Proving in Software Engineering / 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
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Barnes and Noble
Formal Specification and Design

Formal Specification and Design

Barnes and Noble
Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols

Barnes and Noble
Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification

Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification

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

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

Barnes and Noble
Abstract Algebra: An Introduction with Applications

Abstract Algebra: An Introduction with Applications

Barnes and Noble
Reverse Engineering of Algebraic Inequalities: Exploring New Physical Realities and Optimizing Products Processes

Reverse Engineering of Algebraic Inequalities: Exploring New Physical Realities and Optimizing Products Processes

Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

Barnes and Noble
Ordered Algebraic Structures / Edition 1

Ordered Algebraic Structures / Edition 1

Barnes and Noble
Powered by Adeptmind