This Book is Out of Stock!
English
Hardback
₹13097
₹13786
5% OFF
(All inclusive*)
Delivery Options
*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)
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
Piracy-free
Assured Quality
Secure Transactions
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
₹13097
₹13786
5% OFF
Hardback
Out Of Stock
All inclusive*
Details
ISBN 13
9780521403849
Publication Date
-16-07-1992
Pages
-312
Weight
-611 grams
Dimensions
-169.93x244.09x18.03 mm
