This Book is Out of Stock!
English
Paperback
₹4525
(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
Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language semantics and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties including a new embedding of Hoares logic into the temporal framework.
Piracy-free
Assured Quality
Secure Transactions
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
₹4525
Out Of Stock
All inclusive*
Details
ISBN 13
9783642715518
Publication Date
-17-11-2011
Pages
-160
Weight
-287 grams
Dimensions
-170x244x9.18 mm
