formal specifications of programming language a panoramic prime

formal specifications of programming language a panoramic prime

Recommended

Foundations Of Real-Time Computing: Formal Specifications And Methods

Foundations Of Real-Time Computing: Formal Specifications And Methods

$159.35

View Details

LARCH: LANGUAGES AND TOOLS FOR FORMAL SPECIFICATION By John Guttag & James J.

LARCH: LANGUAGES AND TOOLS FOR FORMAL SPECIFICATION By John Guttag & James J.

$36.95

View Details

Formal specification using Z By David Lightfoot

Formal specification using Z By David Lightfoot

$13.78

View Details

Sanchez - Formal Specification and Synthesis of Procedural Controller - S9000z

Sanchez - Formal Specification and Synthesis of Procedural Controller - S9000z

$68.72

View Details

Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken

Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken

$125.19

View Details

Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M

Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M

$188.89

View Details

Formal Description Techniques And Protocol Specification, Testing And Verif...

Formal Description Techniques And Protocol Specification, Testing And Verif...

$205.16

View Details

Specifications of Database Systems: International Workshop on Specifications of

Specifications of Database Systems: International Workshop on Specifications of

$66.98

View Details

Foundations of Real-Time Computing: Formal Specifications and Methods by Gary M.

Foundations of Real-Time Computing: Formal Specifications and Methods by Gary M.

$188.89

View Details

Formal Systems Specification : The Rpc-Memory Specification Case Study, Paper...

Formal Systems Specification : The Rpc-Memory Specification Case Study, Paper...

$68.29

View Details