Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Programming Logics

Name: Programming Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281565
Price: 219.69 PLN
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783642376504

Essays in Memory of Harald Ganzinger

Andrei Voronkov

Christoph Weidenbach

Język

Angielski

Książka Miękka

Kod Libristo: 05281565

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... Cały opis

Kod Libristo: 05281565

125 b

219.69 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Cría de pollos (Gallus domesticus) en Kivu del Sur, este de la RDC

Miękka

151.62 zł

Conni rettet die Tiere (Meine Freundin Conni - ab 6 17), Audio-CD Julia Boehme

CD Audio

36.04 zł

RTA194 SUZUKI-SANTANA GRAND VITARA II fase1(05-09) ETAI Książka

binding.

149.21 zł

Deutsch in 15 Minuten - Texte schreiben 5./6. Klasse Friederike Ablang

Miękka

28.79 zł

Prašina 3 - Biela komnata Vojtěch Matocha

Miękka

60.60 zł

Rechtliche Risiken des Arbeitnehmers bei der Nichtbefolgung unbilliger Weisungen des Arbeitgebers einerseits und bei Nichtbefolgung ordnungsgemäßer We Sirko Archut

Miękka

163.10 zł

Gottesbewusstsein - Die Hohe Kunst der Magie Ursula W Ziegler

Miękka

76.41 zł

Pippa Pepperkorn Hörbuch-Box Charlotte Habersack

CD Audio

71.88 zł

Die verfassunggebende Gewalt nach dem Grundgesetz für die Bundesrepublik Deutschland. Dietrich Murswiek

Miękka

240.43 zł

Bewegungsorientierte Sprachfoerderung aus neurolinguistischer Perspektive Ninon Nasseri

Miękka

61.31 zł

Fornication APTER

Twarda

40.97 zł

Vergleich der privaten E-Mail und SMS Kommunikation aus linguistischer und medienwahltheoretischer Perspektive Anja Bürger

Miękka

163.10 zł

Notice Biographique Sur La Vie de M. Le Comte de Peyronnet Sans Auteur

Miękka

54.16 zł

Militar-Flugzeugindustrie im Dritten Reich Christian Matenaar

Miękka

144.47 zł

Wenn die Liebe schmerzt Claudia Amherd

Miękka

103.29 zł

Dr. Joseph Salzmanns Leben Und Wirken Joseph Rainer

Miękka

113.86 zł

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.