Sign up for our newsletter and get RM5 off your first order. Enjoy FREE delivery with minimum spend of RM150 (for Peninsular Malaysia only) Download our mobile app NOW and stay up to date with our exclusive offers and promotions! Sign up for MRewards today for FREE to enjoy savings! Check out our latest blog! All promotional discounts will be reflected in the Cart.

Model Checking - MPHOnline.com

Model Checking

Author: Clarke, Edmund M., Jr./ Grumberg, Orna/ Kroening, Daniel/ Peled, Doron/ Veith, Helmut

ISBN: 9780262038836

Variants

RM580.13

Product Details

Publisher,Mit Pr
Publication Date,December 4, 2018
Format, Hardcover
Weight, 807.39 g
No. of Pages, 402