Könyv Temporal Logic and State Systems Fred Kröger

Temporal Logic and State Systems

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
29 044 Ft
Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
436
EAN
9783642086809
ISBN
3642086802
Enbook ID
01653648
Súly
682
Méretek
155 x 235 x 25

Teljes leírás

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.

Érdekelheti

14 601 Ft
11 244 Ft

Mythic Astrology

Kenneth Johnson
11 087 Ft

The Factory

Mark West
4 613 Ft

With Gifted Thinkers

Mark Manolopoulos
36 202 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

10 542 Ft

Sakana

Michael Mario Frese
11 844 Ft
7 915 Ft

Ferîdûn Bey

Nicolas Vatin
24 228 Ft