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

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

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

Precios a partir de

42,97

Destacado

	42,97 €	Ver oferta
	42,97 €	Ver oferta

Descripción

Amazon Páginas: 380, Edición: Softcover reprint of the original 2nd edition 2016, Tapa blanda, Springer

Comparar tiendas web (2)

Shop

Precio

42,97 €

Ver oferta

42,97 €

Ver oferta

Descripción (1)

Páginas: 380, Edición: Softcover reprint of the original 2nd edition 2016, Tapa blanda, Springer

Especificaciones del producto

Marca	Springer
EAN	9783662570654

Precios actualizados por última vez el: 19-06-2026, 00:16

Springer

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

61,17 €

Comparar 2 tiendas 2 tiendas

Springer

Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)

63,90 €

Comparar 2 tiendas 2 tiendas

Springer

Theory of Computation (Texts in Computer Science)

75,91 €

Comparar 2 tiendas 2 tiendas

Springer

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

103,99 €

Comparar 2 tiendas 2 tiendas

Elección Destacada

42,97 €

Ver oferta