formal specification techniques for engineering modular c programs paperback

formal specification techniques for engineering modular c programs paperback

Recommended

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf

$69.14

View Details

Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback

Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback

$9.11

View Details

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z

$127.53

View Details

Nissanke - Formal Specification Techniques and Applications - New p - S9000z

Nissanke - Formal Specification Techniques and Applications - New p - S9000z

$68.72

View Details

Formal Specification of Advanced AI Architectures

Formal Specification of Advanced AI Architectures

$9.81

View Details

Introduction Formal Specification and Z by Potter, Ben

Introduction Formal Specification and Z by Potter, Ben

$7.45

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

Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

$290.22

View Details

Real-Time Systems: Formal Specification and Automatic Verification by Olderog

Real-Time Systems: Formal Specification and Automatic Verification by Olderog

$114.68

View Details

Formal Specification Level : Concepts, Methods, and Algorithms, Hardcover by ...

Formal Specification Level : Concepts, Methods, and Algorithms, Hardcover by ...

$130.34

View Details