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

Automatic Verification of Sequential Infinite-State Processes

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

Paperback

$ 99.00

$ 55.44
Save $ 43.56

Enquire about this book

Available

Usually Ships in 21 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:Springer
Published In:17-Dec-1997
ISBN-10:3540639829
ISBN-13:9783540639824
Binding Type:Paperback
Weight:1.03 lbs
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 98376 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 Validati ...

Bhuvan Unhelkar

Our Price: $ 142.88

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

A Guide to Algorithm Desi ...

Anne Benoit, Yv ...

Our Price: $ 92.99

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

Design, Specification and ...

Francois Bodart ...

List Price: $ 109.00

Our Price: $ 59.75

Hardware Management,9382006133,9789382006138

Hardware Management

S.K. Goel

Our Price: $ 23.65

Software Management,938200615X,9789382006152

Software Management

S.K. Goel

Our Price: $ 25.64

A Textbook of Nano Computing,9382006494,9789382006497

A Textbook of Nano Comput ...

Suhas Bhattacha ...

Our Price: $ 25.82