Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

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

Verlag: Springer Berlin, 210 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2005

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 210 Seiten

Erscheinungsdatum: 18.10.1995

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Applied Semantics

International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

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

Verlag: Springer Berlin, 536 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.08.2003

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

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

Verlag: Springer Berlin, 202 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.07.2003

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Applied Semantics

International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 536 Seiten

Erscheinungsdatum: 21.08.2002

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 202 Seiten

Erscheinungsdatum: 13.12.2000

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings

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

Verlag: Springer Berlin, 372 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 23.11.2005

50,28 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 372 Seiten

Erscheinungsdatum: 23.08.1989

50,28 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel