Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Programming Logics

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

Essays in Memory of Harald Ganzinger

Andrei Voronkov

Christoph Weidenbach

Language

English

Book Paperback

Libristo code: 05281565

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... Full description

Libristo code: 05281565

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

13 833 Ft

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

Audio CD

3 004 Ft

RTA194 SUZUKI-SANTANA GRAND VITARA II fase1(05-09) ETAI Book

binding.

12 442 Ft

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

Paperback

2 593 Ft

Prašina 3 - Biela komnata Vojtěch Matocha

Paperback

5 043 Ft

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

Paperback

14 878 Ft

Gottesbewusstsein - Die Hohe Kunst der Magie Ursula W Ziegler

Paperback

6 974 Ft

Pippa Pepperkorn Hörbuch-Box Charlotte Habersack

Audio CD

6 582 Ft

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

Paperback

21 824 Ft

Bewegungsorientierte Sprachfoerderung aus neurolinguistischer Perspektive Ninon Nasseri

Paperback

5 597 Ft

Fornication APTER

Hardback

3 416 Ft

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

Paperback

14 878 Ft

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

Paperback

4 867 Ft

Militar-Flugzeugindustrie im Dritten Reich Christian Matenaar

Paperback

13 177 Ft

Wenn die Liebe schmerzt Claudia Amherd

Paperback

9 322 Ft

Dr. Joseph Salzmanns Leben Und Wirken Joseph Rainer

Paperback

10 390 Ft

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.