Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Menü schließen
Mein Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
Home
Unser Norden
Bücher-Welten
Kulturpass
Christlich Leben
Gesellschaftsspiele
Schönes & Schenken
Das sind wir
Zur Kategorie Unser Norden
Nord-Mord
Über Land und Leute
In Ostholstein unterwegs
Kalender
Schönes & Verschenken
Wiebke Meier
Maritimes Zuhause
Souvenirs
Aktuelle Bestseller
#BookTok
Romane & Krimis
Kinder- & Jugendbücher
Sachbuch & Ratgeber
Manga & Comics
Belletristik
Romane
Spannung
Fantastische Welten
Manga & Comic
New Adult
Kinder- und Jugendbücher
Bilderbücher
Kinderbücher
Jugendbücher
Wissen für Kinder
Spielen & Lernen
Tonies
Neu
Boxen & Zubehör
Hörbücher
Musik
Kreativ-Tonies
Ratgeber
Gesund leben
Natur & Nachhaltigkeit
Schlemmen & Genießen
Selbstgemacht
Wohnen & Garten
Technik & Fahrzeuge
Verreisen
Sachbücher
Biografien
Geschichte
Philosophie
Politik & Zeitgeschehen
Wirtschaft
Wissenschaft
Zur Kategorie Christlich Leben
Rund um die Bibel
Romane
Sachbücher
Erfahrungen
Für Kinder
Schönes & Verschenken
Zur Kategorie Gesellschaftsspiele
Spiele nach Themen
Kinder-Spiele
Familien-Spiele
Fun-Spiele
Kenner-Spiele
Experten-Spiele
Exit- und Escape-Spiele
Quizzen
Unsere Hersteller
Pegasus
Kosmos
Ravensburger
Denkriesen
moses
Zur Kategorie Schönes & Schenken
Geschenkanlass
Geburtstag
Hochzeit
Geburt & Taufe
Ruhestand
Ostern
Unsere Lieferanten
Coppenrath
Good old friends
Herrnhuter Sterne
Primavera
Räder
Karten
Wohnen
Schenken
Rannenberg
Zur Kategorie Das sind wir
Empfehlungen
Veranstaltungen
Anfahrt
Menü schließen
Kategorien
Unser Norden
Bücher-Welten
Kulturpass
Christlich Leben
Gesellschaftsspiele
Schönes & Schenken
Das sind wir
Ihre Suche nach „program synthesis“ ergab 1 Treffer:
Filter
Produktart
eBook (1)
Preisspanne
Minimal
€
–
Maximal
€
Autor
Iman Poernomo, John N. Crossley, Martin Wirsing (1)
Veröffentlichungsdatum
2007 (1)
Download
PDF
Adapting Proofs-as-Programs
Iman Poernomo, John N. Crossley, Martin Wirsing
149,79 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Ablehnen
Konfigurieren
Alle Cookies akzeptieren
