Cantitate/Preț
Produs
Total produse
Vezi coșul
Temporal Logic and State Systems de Fred Kröger

Temporal Logic and State Systems: Texts in Theoretical Computer Science. An EATCS Series

Autor Fred Kröger, Stephan Merz
en Limba Engleză Hardback – 27 mar 2008
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 52814 lei  43-57 zile
  Springer Berlin, Heidelberg – 25 noi 2010 52814 lei  43-57 zile
Hardback (1) 50966 lei  43-57 zile
  Springer Berlin, Heidelberg – 27 mar 2008 50966 lei  43-57 zile

Din seria Texts in Theoretical Computer Science. An EATCS Series

Preț: 50966 lei

Preț vechi: 63708 lei
-20% Nou

Puncte Express: 764
Preț estimativ în valută:
9754€ • 10132$ • 8102£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540674016
ISBN-10: 3540674012
Pagini: 452
Ilustrații: XII, 436 p. 34 illus.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.89 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Texts in Theoretical Computer Science. An EATCS Series

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Basic Concepts and Notions of Logics.- Basic Propositional Linear Temporal Logic.- Extensions of LTL.- Expressiveness of Propositional Linear Temporal Logics.- First-Order Linear Temporal Logic.- State Systems.- Verification of State Systems.- Verification of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification by Model Checking.

Recenzii

From the reviews:
"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport’s Temporal Logic of Actions (TLA), and model checking methods. … The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels.” (Regimantas Pliuškevicius, Mathematical Reviews, Issue 2009 m)
“The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. … This is a rich in content book, with many important topics and examples treated in much technical depth. … a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.”­­­ (Valentin Goranko, Studia Logica, Vol. 94, 2010)

Caracteristici

Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory. Includes supplementary material: sn.pub/extras