Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Idioma: inglés

Editorial: Springer, 2017

3662504960 / 9783662504963

Serie: Libro 42 de 45 - Texts in Theoretical Computer Science. An EATCS

Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

Vendedor de 4 estrellas

Vendedor de IberLibro desde 19 de enero de 2007

Tapa dura

Condición: Nuevo

EUR 80,50

Envío por EUR 7,69 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días
Título
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Autor
Kroening, Daniel; Strichman, Ofer
Editorial
Springer
Año de publicación
2017
Estado
New
Encuadernación
Encuadernación de tapa dura
Idioma
inglés
ISBN 10
3662504960
ISBN 13
9783662504963
Edición
2ª Edición
Serie
Libro 42 de 45: Texts in Theoretical Computer Science. An EATCS

Majestic Books

Hounslow, Reino Unido

Vendedor de 4 estrellas

Vendedor de IberLibro desde 19 de enero de 2007

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 14 a 45 días hábilesDe 5 a 10 días hábiles
Primer artículoEUR 7,69EUR 11,66
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

Descripción de la tienda

We specialise in General Interest Books from South Asian countries.

Especialidad

Art, Economics, Buddhism, Religion, Sociology, Painting

Información empresarial del vendedor

BOOKS AND PERIODICALS AGENCY LTD

Unit 4 Alice way,
Hounslow, Reino Unido TW3 3UD