Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

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

ISBN 10: 0198537689 ISBN 13: 9780198537687

Editorial: Oxford University Press, 2000

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por OM Books, Sevilla, SE, Espa�a

Vendedor de AbeBooks desde 27 de enero de 2022

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Bueno

Precio: EUR 499,00 Convertir moneda

EUR 58,49 gastos de env�o desde Espa�a a Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 9780198537687

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

Editor

Oxford University Press

Fecha de publicaci�n

2000

Idioma

Ingl�s

ISBN 10

0198537689

ISBN 13

9780198537687

Encuadernaci�n

Encuadernaci�n de tapa dura

Estado

Usado - bueno

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

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

Descripci�n de la librer�a

Librer�a on-line de libros usados

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

Librer�a on-line de libros usados

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Espa�a a Estados Unidos de America

Tarifas de env�o de Espa�a a Estados Unidos de America
Cantidad del pedido	De 25 a 50 d�as h�biles	De 15 a 30 d�as h�biles
Primer art�culo	EUR 58.49	EUR 79.89

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.