Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Precios a partir de
58,96

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

58,96 €

58,96 €

Descripción (0)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Especificaciones del producto

Marca Springer
EAN
  • 9783540674016

Springer

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

51,41 €
Comparar 2 tiendas 2 tiendas

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

66,76 €
Comparar 2 tiendas 2 tiendas

Springer

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

93,59 €
Comparar 2 tiendas 2 tiendas

Independently Published

Theoretical Computer Science: Logic & Puzzles, Python Edition

23,96 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
58,96 €
Ver oferta