formal specification techniques for engineering modular c programs by tan yang m

formal specification techniques for engineering modular c programs by tan yang m

Recommended

Soeken - Formal Specification Level Concepts Methods and Algorith - S9000z

Soeken - Formal Specification Level Concepts Methods and Algorith - S9000z

$131.58

View Details

Formal Specification Techniques For Engineering Modular C Programs

Formal Specification Techniques For Engineering Modular C Programs

$174.51

View Details

Foundations Of Real-Time Computing: Formal Specifications And Methods

Foundations Of Real-Time Computing: Formal Specifications And Methods

$159.35

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

Understanding Z: A Specification Language and its Formal Semantics~Cambridge….

Understanding Z: A Specification Language and its Formal Semantics~Cambridge….

$22.50

View Details

Foundations Of Real-Time Computing: Formal Specifications And Methods

Foundations Of Real-Time Computing: Formal Specifications And Methods

$174.51

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

$187.40

View Details

Formal Specification: Techniques and Applications by Nimal Nissanke: New

Formal Specification: Techniques and Applications by Nimal Nissanke: New

$63.89

View Details

ZB 2003: Formal Specification and Development in Z and B: Third International Co

ZB 2003: Formal Specification and Development in Z and B: Third International Co

$127.53

View Details

Julliand - B 2007 Formal Specification and Development in B 7th In - S9000z

Julliand - B 2007 Formal Specification and Development in B 7th In - S9000z

$68.72

View Details