+ wishlist Add to Cart The item has been added Author: Olaf Burkart Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science #1354) [9783540639824] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% List Price As Low as $54.99 Format: Paperback