無料配送-安全なお支払い-豊富な品揃え-低価格

この商品が気に入りましたか?みんなにお薦めください!

詳細

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.

レビュー

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 Pliuskevicius, 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)

共演者・アシスタント

著者 Fred Kröger

著者 Stefan Merz

著者 Stephan Merz

略歴 Fred Kröger

Fred Kröger: Since 1971 working in Computer Science. 1980-1986 Professor for Computer Science at Technical University of Munich. Since 1986 Professor for Computer Science at University of Munich

略歴 Stefan Merz

Stephan Merz: 1992 Ph.D. in Computer Science, University of Munich. 1995-2002 Assistant Professor for Computer Science, University of Munich. Since 2002 Senior Researcher, INRIA Lorraine, Nancy

商品詳細

DUIN 15H0M4MGV1H

GTIN 9783540674016

発売日 27.03.2008

言語 英語

ページ数 436

Product type

寸法 235 x 155  mm

製品重量 836 g

Temporal Logic and State Systems

Fred Kröger

¥ 9,760

出品者 Dodax EU

配送日: 火曜日, 6月, 5 ~ 木曜日, 6月, 7 の間

コンディション: 新品

その他の購入オプション

税込価格-無料配送
1
カートに追加する カートに追加する
¥ 9,760
その他の購入オプション 税込価格-無料配送