This book offers a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. The authors introduce a carefully chosen core of essential terminology, and give numerous examples, as well as a full exposition of a fast-growing technique, symbolic model checking.
Please read carefully all the information given below, including
Handling Time and Seller Comments before placing your order.
Handling Time is the number of business days for sellers to process and
dispatch the item from their location.
Shipping Offered:
U.S. Standard
Free U.S. Standard
U.S. Expedited
International
MY CART | item(s)
U.S. Standard
Free U.S. Standard
U.S. Expedited
International
