English
Paperback
₹5538
₹7055
21.5% OFF
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
About The Book
Description
Author(s)
First published in 1998 this textbook is a broad but rigourous survey of the theoretical basis for the design definition and implementation of programming languages and of systems for specifying and proving program behaviour.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9780521106979
Publication Date
-04-02-2009
Pages
-516
Weight
-825 grams
Dimensions
-170x244x26.36 mm
