Overview

Full Product Details

9783642086809

Table of Contents

Reviews

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 PliuA!kevicius, Mathematical Reviews, Issue 2009 m)

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)

Author Information

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available