Lecture Notes in Computer Science Automatic Verification of Sequential Infinite-State Processes, Book 1354, (Paperback)

Name: Lecture Notes in Computer Science Automatic Verification of Sequential Infinite-State Processes, Book 1354, (Paperback)
Brand: Olaf Burkart
SKU: prod_87ff10d2b357b914515646d1
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Automatic Verification of Sequential Infinite-State Processes, Book 1354, (Paperback) Author: Springer ISBN: 9783540639824 Format: Paperback Publication Date: 1997-12-17 Page Count: 166

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Automatic Verification of Sequential Infinite-State Processes, Book 1354, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Automatic Verification of Sequential Infinite-State Processes, Book 1354, (Paperback)—

$118.00