This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Review:

"The book is well written and will be of particular interest to researchers and practitioners in computer science."--Mathematical Reviews

"About this title" may belong to another edition of this title.

Store Description

Librer�a on-line de libros usados

Visit Seller's Storefront

Seller's business information

OASIS MEDIA BOOKS SC
CALLE TUCUMAN, NUM. 7 PLANTA 7, PUERTA C, Sevilla, 41006, Spain

Terms of Sale:

Librer�a on-line de libros usados

Shipping Terms:

Los gastos de env�o se calculan para env�os est�ndar.

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to Temporal Logic: Mathematical Foundations and Computational...

Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

Gabbay, Dov M; Finger, M.; Reynolds, M.

Used - Hardcover

Seller's business information