Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Versand nach:
🇩🇪 Deutschland 🇦🇹 Österreich 🇨🇭 Schweiz
Types for Proofs and Programs - International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Beispielbild für diese ISBN

Types for Proofs and Programs - Bücher gebraucht & antiquarisch kaufen

Mehr anzeigen
Produktart:
Bücher
ISBN | EAN:
3540744630 | 9783540744634
1x gebraucht ab
45,78 EUR 41,20 EUR
Kostenloser Versand

1 verfügbares Angebot für diesen Artikel Types for Proofs and Programs

Types for Proofs and Programs - International Workshop, TYPES 2006, Nottingham, UK, April 18-…

von Thorsten Altenkirch Verlag: Springer Berlin,

2007 2007. Neubindung, Buchecken leicht angestossen, Cover leicht zerkratzt, 3877567/12 mehr lesen

Von: Buchpark GmbH (Trebbin, 🇩🇪 Deutschland)PayPal
Gebraucht, sehr gut 45,78 EUR 41,20 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 05.11.2026

Andere Kunden interessierten sich auch für folgende Artikel

Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Types for Proofs and Programs - Second International Workshop,…
Types for Proofs and Programs - International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Types for Proofs and Programs - International Workshop, TYPES'9…
Types for Proofs and Programs - International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Types for Proofs and Programs - International Workshop, TYPES 2…
Types for Proofs and Programs - International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Types for Proofs and Programs - International Workshop TYPES '9…
Types for Proofs and Programs - International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Types for Proofs and Programs - International Workshop, TYPES '…
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
Types for Proofs and Programs - International Workshop TYPES'96…

Ähnliche Angebote, die interessant für Sie sein könnten.

Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
von Jean-Pierre Jouannaud
Conceptual Programming with Python
Conceptual Programming with Python
von Thorsten Altenkirch
Schnüffelsucht und Schnüfflerneuropathie. Sozialdaten, Praktiken, klinische und neurologische Komplikationen sowie experimentelle Befunde des Lösungsmittelmißbrauchs. (= Schriftenreihe Neurologie, Bd. 23).
Schnüffelsucht und Schnüfflerneuropathie. Sozialdaten, Praktiken, klinische und neurologische Komplikationen sowie experimen…
von Holger Altenkirch
Schnüffelsucht und Schnüfflerneuropathie. Sozialdaten, Praktiken, klinische und neurologische Komplikationen sowie experimentelle Befunde des Lösungsmittelmißbrauchs.
Schnüffelsucht und Schnüfflerneuropathie. Sozialdaten, Praktiken, klinische und neurologische Komplikationen sowie experimen…
von Holger Altenkirch
Schnüffelsucht und Schnüfflerneuropathie - Sozialdaten, Praktiken, klinische und neurologische Komplikationen sowie experimentelle Befunde des Lösungsmittelmißbrauchs
Schnüffelsucht und Schnüfflerneuropathie - Sozialdaten, Praktik…
von Holger Altenkirch
Types for Proofs and Programs - International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Types for Proofs and Programs - International Workshop, TYPES 2…
Klimaregelung in Kühlräumen.
Klimaregelung in Kühlräumen.
von Edmund Altenkirch
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011,…
von Marko Eekelen
Unsere Schafrassen : Kleine illustrierte Schafzuchtlehre
Unsere Schafrassen : Kleine illustrierte Schafzuchtlehre
von Walter Altenkirch