Name: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)
Price: 93.49 USD
Availability: InStock
ISBN: 9783642397981

Selecciona tu país

América

Europa

Resto del mundo

portada Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)

Formato

Libro Físico

Editorial

Springer

Encuadernación

Tapa Blanda

ISBN13

9783642397981

Categorías

Sistemas expertos/sistemas basados en el conocimiento

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)

Libro Nuevo Origen: Estados Unidos

Envío: 6 a 8 días háb.

$ 109.99$ 93.49

-15%

Libro Nuevo

Quedan más de 100 unidades

$ 93.49

Llega entre el 04 Ago y el 10 Ago a FL. Seleccionar ubicación

Agregar a lista de deseos