Erweiterte Suche

Freitext

Schlagwörter

Herausgeber/Autor

Titel

Reihe

Verlag

Erscheinungsjahr

ISBN

ISSN

Medium

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer US, 420 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 27.04.2007

149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 420 Seiten

Erscheinungsdatum: 21.06.2005

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 420 Seiten

Erscheinungsdatum: 19.11.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Birkhäuser Boston, 816 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Birkhäuser Boston, Auflage 1, 816 Seiten

Erscheinungsdatum: 14.02.2013

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Birkhäuser Boston, Auflage 1, 816 Seiten

Erscheinungsdatum: 26.01.1994

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel