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

by  
Automatic Verification of Sequential Infinite-State Processes,3540639829,9783540639824

Paperback

£ 72.00

£ 38.33
Save £ 33.67

Enquire about this book

Available

Usually Ships in 14 Days.

Ships From London

Free Shipping within U.K

International Shipping?

Check Delivery Estimate and Delivery Charges for your country

Book Information

Publisher:Springer
Published In:17-Dec-1997
ISBN-10:3540639829
ISBN-13:9783540639824
Binding Type:Paperback
Weight:468 gms
Pages:pp. 180, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

The Title "Automatic Verification of Sequential Infinite-State Processes " is written by Olaf Burkart. This book was published in the year 1997. The ISBN number 3540639829|9783540639824 is assigned to the Paperback version of this title. This book has total of pp. x + 163 (Pages). The publisher of this title is Springer. We have about 98420 other great books from this publisher. Automatic Verification of Sequential Infinite-State Processes is currently Available with us.

Related Books

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 '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

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

iOS Game Development ...

Thomas Lucka

Our Price: £ 40.99

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