REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

REWRITING AND TYPED LAMBDA CALCULI

GILLES DOWEK

Año edición: 15-07-2014

Colección:

EAN: 9783319089171

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

INTRODUCTION TO THE THEORY OF PROGRAMMING LANGUAGES

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

9780857290755

48.65€

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

PROOFS AND ALGORITHMS

9780857291202

48.39€

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

PRINCIPLES OF PROGRAMMING LANGUAGES

9781848820319

45.95€

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

REWRITING AND TYPED LAMBDA CALCULI

9783319089195

46.78€