Zum Hauptinhalt springen
Nicht aus der Schweiz?
Besuchen Sie lehmanns.de
Anmeldung
Mein Konto
Merkzettel
0
Warenkorb
0
Toggle navigation
alle Medien
Bücher
eBooks
Hörbücher
Medical Equipment
alle Medien
Bücher
eBooks
Hörbücher
Medical Equipment
Erweiterte
Suche
Ihr Warenkorb
0
Artikel
Bücher
Frisch erschienen: Der Klassiker der Pharmakologie und Toxikologie. Jetzt bestellen!
Bücher
Medizin & Psychologie
Medizin Studium
Medizin Klinik & Praxis
Veterinärmedizin
Psychologie
Technik & Naturwissenschaften
Naturwissenschaften
Mathematik
Informatik
Technik
Rechts-, Sozial- & Geisteswissenschaften
Recht / Steuern
Wirtschaft
Geisteswissenschaften
Sozialwissenschaften
Literatur & Sachbuch
Roman / Krimi
Kinder- / Jugendbuch
Sachbuch / Ratgeber
Reisen
Aktuell
Fachbuch-Bestseller
Top Vorbesteller
Geschenke
Sonderangebote
SPIEGEL-Bestseller
100 gute Bücher
Services
PremiumCard
Newsletter
WissensBox
eBooks
Seit über 50 Jahren der Schlüssel zu erfolgreicher Tumortherapie & sicherer Prognose: als eBook jederzeit griffbereit!
eBooks
eBook Welten
Stöbern in eBook-Welten
tolino bei Thalia
Fragen & Antworten (FAQ)
Tipps & Tricks
eBook Ratgeber
Services
PremiumCard
Newsletter
WissensBox
Hörbücher
Die grosse Geschichte unseres Planeten: Ungekürzte Lesung mit Frank Arnold
Hörbücher
SPIEGEL Bestseller
Hörbuch: Belletristik
Hörbuch: Kinder & Jugend
Hörbuch Welten
Romane
Krimi / Thriller
Fantasy / Science Fiction
Historische Romane
Kinder- / Jugendbuch
Humor / Satire
Lyrik / Dramatik
Klassiker
Services
PremiumCard
Newsletter
WissensBox
Zeitschriften / Datenbanken
Zeitschriften / Datenbanken
Zeitschriften Info
Kontakt
Services
Zeitschriften Portal
B2B Service
Bibliotheken
Krankenhäuser
Kanzleien
Unternehmen
Öffentliche Hand
Open Access
Services
PremiumCard
Newsletter
WissensBox
B2B-Services
B2B-Services
B2B Service
Bibliotheken
Krankenhäuser
Kanzleien
Unternehmen
Öffentliche Hand
Open Access
Services
PremiumCard
Newsletter
WissensBox
Medshop
Das passende Stethoskop finden:
Medshop
Diagnostik
Stethoskope
Zubehör: Stethoskope
Reflexhämmer
Diagnostiklampen
Blutdruckmesser
Diagnose- & Therapiegeräte
Praxis
Bekleidung
Arzttaschen & Ampullarien
Instrumente & Sterilisation
Modelle
Anatomische Modelle
Somso-Modelle
Services
PremiumCard
Newsletter
WissensBox
Verlag
Neu bei Lehmanns Media: Mach KI zu deiner Stärke und starte mit mehr Kompetenz, Kreativität und Gelassenheit in die KI-Ära!
Verlag
Verlagsprogramm
Medizin Studium
Medizin Praxis
Heilpraktiker
Veterinärmedizin
Informatik
Naturwiss./Technik
Wirtschaft/Recht
Geisteswissenschaften
Pädagogik
Sportwissenschaft
Dissertation/Habil.
Lüneburger Schriften
Romane / Sachbuch
Kinderbücher
Lehmanns Media
Über den Verlag
Für Autoren
Rezensionsexemplar?
Verlagskontakte
Open Access Repository
Filialen
Frage zu Artikel "Certified Programming with Dependent Types"
ISBN: 978-0-262-31787-0
Titel: Certified Programming with Dependent Types
von: Adam Chlipala
Anrede:
Herr
Frau
Divers
Vorname:
Name*:
Email-Adresse*:
Telefon-Nummer:
Frage:
Kopie als Email erwünscht?
Absenden
WebShop Infos
AGB / Widerrufsbelehrung
Datenschutzerklärung
Hilfe
Versandkosten
Zahlarten
Rechnung herunterladen
Rechnung bezahlen
Erweiterte Suche
Über uns
Kontakt
Impressum
Unsere Filialen
Menschen bei Lehmanns
Jobs bei Lehmanns
Karriere bei Lehmanns
Services
PremiumCard
Kongresse
B2B-Services für
Bibliotheken
Krankenhäuser
Rechtsanwälte
Wirtschaftsprüfer
Unternehmen
Öffentliche Hand
Open Access
© Copyright 2025 by Lehmanns Media GmbH | Alle Rechte vorbehalten | Online Shop für Bücher, Fachbücher, Hörbücher und Zeitschriften
