Fred Kröger

(Author)

Temporal Logic and State Systems (2008)Hardcover - 2008, 27 March 2008

Temporal Logic and State Systems (2008)
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
Part of Series
Texts in Theoretical Computer Science. an Eatcs
Part of Series
Texts in Theoretical Computer Science
Print Length
436 pages
Language
English
Publisher
Springer
Date Published
27 Mar 2008
ISBN-10
3540674012
ISBN-13
9783540674016

Description

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.

All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Product Details

Authors:
Fred KrögerStephan Merz
Book Edition:
2008
Book Format:
Hardcover
Country of Origin:
DE
Date Published:
27 March 2008
Dimensions:
23.8 x 16.15 x 2.79 cm
ISBN-10:
3540674012
ISBN-13:
9783540674016
Language:
English
Location:
Berlin, Heidelberg
Pages:
436
Publisher:
Weight:
884.5 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.