Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Programming Logics Essays in Memory of Harald Ganzinger Weidenbach (u. a.) Buch - Bild 1 von 1

Programming Logics von Andrei Voronkov (2013, Taschenbuch)

Schreiben Sie die ersteRezension.

buchbaer-shop (46447)
99,9% positive Bewertungen

Preis:

€ 52,90

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Mi, 8. Mai - Sa, 11. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

Produktkennzeichnungen

Herausgeber
Christoph Weidenbach, Andrei Voronkov
ISBN-10
3642376509
ISBN-13
9783642376504
eBay Product ID (ePID)
165110533

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
Viii Seiten
Verlag
Springer-Verlag Gmbh, Springer Berlin
Publikationsname
Programming Logics
Autor
Christoph Weidenbach, Andrei Voronkov
Format
Taschenbuch
Erscheinungsjahr
2013

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Book
Item Length
23cm
Item Height
2cm
Item Width
15cm
Nummer Innerhalb der Serie
7797
Item Weight
692g
Buchreihe
Lecture Notes in Computer Science

Alle Angebote für dieses Produkt

Artikel 1 Programming Logics Essays in Memory of Harald Ganzinger Weidenbach (u. a.) Buch
EUR 52,90
Kostenloser Versand
Artikel 2 Programming Logics Essays in Memory of Harald Ganzinger 2151
EUR 53,49
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,69 Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer
EUR 20,00
Preistendenz: EUR 20,30
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,58

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Programming Logics von Andrei Voronkov (2013, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Programming Logics Essays in Memory of Harald Ganzinger Weidenbach (u. a.) Buch

Artikel 2 Programming Logics Essays in Memory of Harald Ganzinger 2151

Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Hier sparen: Studium & Erwachsenenbildung

Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer

Einfaches Kassenbuch | Einnahmen und Ausgaben

Auch interessant

Lehrbücher als Taschenbuch

Sonstige Bücher im Taschenbuch-Format

Brockhaus Taschenbücher

Frauenliteratur-Taschenbücher

Humor Taschenbücher

Natur-Taschenbücher