Książka Temporal Logic and State Systems Fred Kröger

Temporal Logic and State Systems

Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-13 dni
317.68
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2008
strony
436
EAN
9783540674016
ISBN
3540674012
Enbook ID
01567359
Waga
840
Wymiary
155 x 235 x 30

Pełny opis

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others. All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures and researchers.

Możesz być zainteresowany

2 023.05
71.00
122.26

Too Fool For Cool

BEN SCHNEIDER
103.20
223.13

ANT

Kevin Ingam
149.79
465.24
96.39
802.09

Rover

Joseph Conrad
75.57

Fenians

Patrick Steward
206.79

Klienci, którzy kupili tę książkę, kupili również

191.52
39.97
263.21

La Pandilla 2 Metodická příručka

Elena González Hortelano
104.56
121.38
42.40

Actitud

ANNE LACATON
63.70

Servicio Gallego de Salud. Temario común

Miguel Ángel Estévez Fernández
270.11
37.54
73.33