PROOFS AND ALGORITHMS

SPRINGER NATURE B.V.

PROOFS AND ALGORITHMS

GILLES DOWEK

Año edición: 14-01-2011

Colección:

EAN: 9780857291202

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

PROOFS AND ALGORITHMS

SPRINGER NATURE B.V.

REWRITING AND TYPED LAMBDA CALCULI

9783319089195

46.78€

PROOFS AND ALGORITHMS

CAMBRIDGE UNIVERSITY PRESS

COMPUTATION, PROOF, MACHINE

GILLES DOWEK/MARION ROMAN/PIERRE GUILLOT GILLES DOWEK/MARION ROMAN/PIERRE GUILLOT GILLES DOWEK/MARION ROMAN/PIERRE GUILLOT

9780521118019

134.41€

PROOFS AND ALGORITHMS

SPRINGER NATURE B.V.

INTRODUCTION TO THE THEORY OF PROGRAMMING LANGUAGES

GILLES DOWEK/JEAN-JACQUES LEVY GILLES DOWEK/JEAN-JACQUES LEVY

9780857290755

48.65€

PROOFS AND ALGORITHMS

SPRINGER NATURE B.V.

PROOFS AND ALGORITHMS

9780857291202

48.39€