545 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgem�� entwidmet. Sprache: Englisch Gewicht in Gramm: 720.

N� de ref. del art�culo 1453290

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Temporal Logic: First International Conference, ICTL '94 Lecture Notes in Computer Science 827

Editor

Springer Verlag;

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

354058241X

ISBN 13

9783540582410

Encuadernaci�n

Broschiert

Estado

Gut

Peso

720 gramos

Cat�logos de vendedores

202 Informatik & EDV

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Versandantiquariat Petra Gros GmbH & Co. KG
Am Sonnenhang 18, Welling, 56753, Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.
1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d....

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Die Ware wird in der Regel innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen sind f�r K�ufer und Verk�ufer bindend.

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 10 a 26 d�as h�biles	De 7 a 14 d�as h�biles
Primer art�culo	EUR 12.95	EUR 19.95

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.