The Mega Online Bookshop
Welcome Guest | Login | Home | Contact Us
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

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
47 %

Design, Specificatio ...

Francois Bodart ...

List Price: £ 76.50

Our Price: £ 40.58

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

Verification and Val ...

Bhuvan Unhelkar

Our Price: £ 113.32

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

A Guide to Algorithm ...

Anne Benoit, Yv ...

Our Price: £ 64.70

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

Design, Specificatio ...

Philippe Palanq ...

List Price: £ 76.50

Our Price: £ 36.20

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

iOS Game Development ...

Thomas Lucka

Our Price: £ 40.99