Fred Kröger

(Author)

Temporal Logic of Programs (Softcover Reprint of the Original 1st 1987)Paperback - Softcover Reprint of the Original 1st 1987, 17 November 2011

Temporal Logic of Programs (Softcover Reprint of the Original 1st 1987)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Monographs in Theoretical Computer Science. an Eatcs
Part of Series
Monographs in Theoretical Computer Science. an Eatcs Series
Print Length
148 pages
Language
English
Publisher
Springer
Date Published
17 Nov 2011
ISBN-10
3642715516
ISBN-13
9783642715518

Description

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.

Product Details

Author:
Fred Kröger
Book Edition:
Softcover Reprint of the Original 1st 1987
Book Format:
Paperback
Country of Origin:
NL
Date Published:
17 November 2011
Dimensions:
24.41 x 16.99 x 0.86 cm
ISBN-10:
3642715516
ISBN-13:
9783642715518
Language:
English
Location:
Berlin, Heidelberg
Pages:
148
Publisher:
Weight:
263.08 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.