logo
0

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Temporal Logic And State Systems Fred Kroger Stephan Merz

  • SKU: BELL-1728872
Temporal Logic And State Systems Fred Kroger Stephan Merz
$ 31.00 $ 45.00 (-31%)

4.8

44 reviews

Temporal Logic And State Systems Fred Kroger Stephan Merz instant download after payment.

Publisher: Springer
File Extension: PDF
File size: 4.32 MB
Pages: 445
Author: Fred Kroger, Stephan Merz
ISBN: 9783540674016, 3540674012
Language: English
Year: 2008

Product desciption

Temporal Logic And State Systems Fred Kroger Stephan Merz by Fred Kroger, Stephan Merz 9783540674016, 3540674012 instant download after payment.

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.

Related Products

Temporal Logic From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing 1st Edition Stefania Centrone
-31%

Temporal Logic From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing 1st Edition Stefania Centrone

$45.00 $31.00
German Temporal Semantics Threedimensional Tense Logic And A Gpsg Fragment John A Nerbonne
-31%

German Temporal Semantics Threedimensional Tense Logic And A Gpsg Fragment John A Nerbonne

$45.00 $31.00
Advances In Verification Of Time Petri Nets And Timed Automata A Temporal Logic Approach 1st Edition Docdrhab Wojciech Penczek
-31%

Advances In Verification Of Time Petri Nets And Timed Automata A Temporal Logic Approach 1st Edition Docdrhab Wojciech Penczek

4.3

38 reviews
$45.00 $31.00
Branchingtime Temporal Logics Theoretical Issues And A Computer Science Application Phd Thesis Fabio Mogavero
-31%

Branchingtime Temporal Logics Theoretical Issues And A Computer Science Application Phd Thesis Fabio Mogavero

4.3

78 reviews
$45.00 $31.00
Logics In Computer Science A Study On Extensions Of Temporal And Strategic Logics 1st Edition Fabio Mogavero Auth
-31%

Logics In Computer Science A Study On Extensions Of Temporal And Strategic Logics 1st Edition Fabio Mogavero Auth

4.8

84 reviews
$45.00 $31.00
Temporary Organizations Prevalence Logic And Effectiveness Patrick Kenis
-31%

Temporary Organizations Prevalence Logic And Effectiveness Patrick Kenis

5.0

108 reviews
$45.00 $31.00
Temporal Logic Valentin Goranko
-31%

Temporal Logic Valentin Goranko

4.3

78 reviews
$45.00 $31.00
A Really Temporal Logic Lecture Notes Rajeev Alur T A Henzinger Stanford University Computer Science Department
-31%

A Really Temporal Logic Lecture Notes Rajeev Alur T A Henzinger Stanford University Computer Science Department

4.4

32 reviews
$45.00 $31.00
An Introduction To Practical Formal Methods Using Temporal Logic 1st Edition Michael Fisher
-31%

An Introduction To Practical Formal Methods Using Temporal Logic 1st Edition Michael Fisher

4.8

74 reviews
$45.00 $31.00