+ wishlist Add to Cart The item has been added Author: Michael Yoeli Rakefet Kol Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing) [9780471704492] 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 - 99 15% 100 - 249 16% 250 - 499 17% 500 - 999 18% 1000+ 20% List Price As Low as $153.95 Format: Hardcover