English
Paperback
₹1740
(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
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
PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation floating point arithmetic and input/output operations.
Piracy-free
Assured Quality
Secure Transactions
Details
ISBN 13
9781289165420
Publication Date
-15-07-2013
Pages
-30
Weight
-75.3 grams
Dimensions
-189x246x2.14 mm
