Automatic Verification of Sequential Infinite-State Processes
by Olaf Burkart
Available
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| 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.