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

Automatic Verification of Sequential Infinite-State Processes

Hardware and Software Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers,3642195822,9783642195822

Hardware and Software Ver ...

Sharon Barner, ...

Our Price: $ 144.16

Hardware Management,9382006133,9789382006138

Hardware Management

S.K. Goel

Our Price: $ 20.61

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

Verification and Validati ...

Bhuvan Unhelkar

Our Price: $ 142.88

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

Design, Specification and ...

Francois Bodart ...

List Price: $ 109.00

Our Price: $ 56.99

Cyber Crimes and Legal Measures,8184842287,9788184842289
31 %

Cyber Crimes and Legal Me ...

Manish Kumar Ch ...

List Price: $ 38.75

Our Price: $ 26.67

Software Management,938200615X,9789382006152

Software Management

S.K. Goel

Our Price: $ 22.61

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

A Guide to Algorithm Desi ...

Anne Benoit, Yv ...

Our Price: $ 87.81

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

iOS Game Development Deve ...

Thomas Lucka

Our Price: $ 56.99

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

Design, Specification and ...

Philippe Palanq ...

List Price: $ 109.00

Our Price: $ 57.45

A Textbook of Nano Computing,9382006494,9789382006497

A Textbook of Nano Comput ...

Suhas Bhattacha ...

Our Price: $ 22.80