MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning

Precios a partir de
11,56

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning

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

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
11,56 €
Ver oferta
Amazon Marketplace Logo
11,56 €
Ver oferta
Descripción (0)

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning

Especificaciones del producto

Marca Independently Published
EAN
  • 9798194158706

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

27,09 €
Comparar 2 tiendas 2 tiendas

Independently Published

An introduction to Propositional Logic and Set Theory: Foundations of Mathematical Reasoning....

10,33 €
Comparar 2 tiendas 2 tiendas

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

62,39 €
Comparar 2 tiendas 2 tiendas

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

62,39 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
11,56 €
Ver oferta