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
Barnes and Noble

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

From Barnes and Noble
Algebraic System Specification and Development: A Survey and Annotated Bibliography
Barnes and Noble

Algebraic System Specification and Development: A Survey and Annotated Bibliography

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
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System
Barnes and Noble

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

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

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

Formal Specification Level: Concepts, Methods, and Algorithms

From Barnes and Noble
Formal Specification and Design
Barnes and Noble

Formal Specification and Design

From Barnes and Noble
Algebraic Specification of Communication Protocols
Barnes and Noble

Algebraic Specification of Communication Protocols

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

Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification

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

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

From Barnes and Noble
Abstract Algebra: An Introduction with Applications
Barnes and Noble

Abstract Algebra: An Introduction with Applications

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

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

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

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

From Barnes and Noble
Automated Theory Formation in Pure Mathematics
Barnes and Noble

Automated Theory Formation in Pure Mathematics

From Barnes and Noble
Ordered Algebraic Structures / Edition 1
Barnes and Noble

Ordered Algebraic Structures / Edition 1

From Barnes and Noble
Powered by Adeptmind