Hardcover. 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. Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo 9780198537687

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Temporal Logic: Volume 2 (Hardcover)

Editorial: Oxford University Press, Oxford

A�o de publicaci�n: 2000

Encuadernaci�n: Hardcover

Condici�n: new

Acerca de

Sinopsis:

Book by Gabbay Dov M Reynolds Mark A Finger Marcelo

Cr�ticas:

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Online business

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Condiciones de venta:

Orders can be returned within 30 days of receipt.

Condiciones de env�o:

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n

Art�culos relacionados a Temporal Logic: Volume 2 (Hardcover)

Temporal Logic: Volume 2 (Hardcover)

Dov M. Gabbay

Nuevos - Encuadernaci�n de tapa dura

Informaci�n empresarial del vendedor