The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Automatic Verification of Sequential Infinite-State Processes

Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996,3211829008,9783211829004
39 %

Design, Specification and ...

Francois Bodart ...

List Price: $ 109.00

Our Price: $ 66.33

iOS Game Development Developing Games for iPad, iPhone, And iPod Touch,146656993X,9781466569935

iOS Game Development Deve ...

Thomas Lucka

Our Price: $ 68.93

Cyber Crimes and Legal Measures,8184842287,9788184842289

Cyber Crimes and Legal Me ...

Manish Kumar Ch ...

Our Price: $ 40.21

A Guide to Algorithm Design Paradigms, Methods, And Complexity Analysis,1439825645,9781439825648

A Guide to Algorithm Desi ...

Anne Benoit, Yv ...

Our Price: $ 107.52

Verification and Validation for Quality of Uml 2.0 Models,0471727830,9780471727835

Verification and Validati ...

Bhuvan Unhelkar

Our Price: $ 150.72

Design, Specification and Verification of Interactive Systems '95 Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995,3211827390,9783211827390
39 %

Design, Specification and ...

Philippe Palanq ...

List Price: $ 109.00

Our Price: $ 66.83