Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Idioma: inglés

Editorial: Springer-Verlag, 1995

3540589767 / 9783540589761

  • Tapa blanda
  • Usado
Ver todos los detalles

Librería: George Cross Books, Lexington, MA, Estados Unidos de AmericaGeorge Cross Books

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2003

Miembro de asociación: IOBA

Tapa blanda

Condición: Usado

EUR 30,46

Envío por EUR 3,58 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Very Good/Wraps (34589) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented. 180.

N° de ref. del artículo 34589

Título
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Autor
Fisher, Michael; Owens, Richard (Eds.)
Editorial
Springer-Verlag
Año de publicación
1995
Encuadernación
Paperback
Idioma
inglés
ISBN 10
3540589767
ISBN 13
9783540589761
Edición
Reprint edition.

George Cross Books

Lexington, MA, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de IberLibro desde 11 de junio de 2003

Miembro de asociación:

Tarifas de envío en Estados Unidos de America

ArtículoDe 5 a 14 días hábilesDe 3 a 6 días hábiles
Primer artículoEUR 3,58EUR 8,96
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.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Efectivo
  • Factura
  • Giro postal
  • PayPal

Descripción de la tienda

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Especialidad

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Miembro de asociación

  • Independent Online Booksellers Association
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

George Cross Books

MA, Estados Unidos de America