English
LOOKING TO PLACE A BULK ORDER?CLICK HERE
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
About The Book
Description
Author
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.
Details
ISBN 13
9780521594141
Publication Date
-12-10-1998
Pages
-514
Weight
-1009 grams
Dimensions
-178x254x28.58 mm
