Type theory and formal proof

Precios a partir de
86,00

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

Type theory and formal proof

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

Comparar tiendas web (1)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

86,00 €

Descripción (0)

Type theory and formal proof

Especificaciones del producto

Marca Cambridge University Press
EAN
  • 9781107036505

Independently Published

CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

12,46 €
Comparar 2 tiendas 2 tiendas

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

11,56 €
Comparar 2 tiendas 2 tiendas

Independently Published

Proof of continents migration theory and more

13,63 €
Comparar 2 tiendas 2 tiendas

Springer

Theory of Computation: Automata, Formal Languages, Computation and Complexity

88,39 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
86,00 €
Ver oferta