Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Unbekannt

ISBN 10: 354058241X ISBN 13: 9783540582410

Editorial: Springer Berlin Heidelberg, 1994

Idioma: Ingl�s

Condici�n: Usado - Excelente Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Buchpark, Trebbin, Alemania

Vendedor de AbeBooks desde 30 de septiembre de 2021

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 blanda

Condici�n: Usado - Excelente

Precio: EUR 78,82 Convertir moneda

EUR 105,00 gastos de env�o desde Alemania 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

Zustand: Sehr gut | Sprache: Englisch | Produktart: B�cher.

N� de ref. del art�culo 840928/202

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Editor

Springer Berlin Heidelberg

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

354058241X

ISBN 13

9783540582410

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Sehr gut

Cat�logos de vendedores

B�cher

Acerca de

Sinopsis

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL ’94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL ’94 as well as three surveys and position papers.

Rese�a del editor

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

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

Descripci�n de la librer�a

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Buchpark GmbH
Kr�gerweg 1, Trebbin, 14959, Germany

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

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

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 60 a 60 d�as h�biles	De 60 a 60 d�as h�biles
Primer art�culo	EUR 105.00	EUR 130.00

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.

Informaci�n detallada sobre el vendedor