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

Formal Methods in Artificial Intelligence
Loading Inventory...
Barnes and Noble

Formal Methods in Artificial Intelligence

Current price: $51.00
From Barnes and Noble
Digital System Test and Testable Design: Using HDL Models Architectures
Loading Inventory...
Barnes and Noble

Digital System Test and Testable Design: Using HDL Models Architectures

Current price: $119.99
From Barnes and Noble
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications
Loading Inventory...
Barnes and Noble

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications

Current price: $74.95
From Barnes and Noble
Powered by Adeptmind