Verwandte Artikel zu Programming Logics: Essays in Memory of Harald Ganzinger:...

Programming Logics: Essays in Memory of Harald Ganzinger: 7797 (Theoretical Computer Science and General Issues) - Softcover

 
9783642376504: Programming Logics: Essays in Memory of Harald Ganzinger: 7797 (Theoretical Computer Science and General Issues)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2013
  • ISBN 10 3642376509
  • ISBN 13 9783642376504
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten460
  • HerausgeberVoronkov Andrei, Weidenbach Christoph
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Wie neu
Like New
Diesen Artikel anzeigen

EUR 29,52 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783642376528: Programming Logics: Essays in Memory of Harald Ganzinger

Vorgestellte Ausgabe

ISBN 10:  3642376525 ISBN 13:  9783642376528
Verlag: Springer, 2013
Softcover

Suchergebnisse für Programming Logics: Essays in Memory of Harald Ganzinger:...

Foto des Verkäufers

Christoph Weidenbach
ISBN 10: 3642376509 ISBN 13: 9783642376504
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 460 pp. Englisch. Bestandsnummer des Verkäufers 9783642376504

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Christoph Weidenbach
ISBN 10: 3642376509 ISBN 13: 9783642376504
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783642376504

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Christoph Weidenbach
ISBN 10: 3642376509 ISBN 13: 9783642376504
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch. Bestandsnummer des Verkäufers 9783642376504

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642376509 ISBN 13: 9783642376504
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783642376504_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,81
Währung umrechnen
Versand: EUR 5,88
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Voronkov, Andrei
Verlag: Springer 2013-04, 2013
ISBN 10: 3642376509 ISBN 13: 9783642376504
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783642376504

Verkäufer kontaktieren

Neu kaufen

EUR 68,49
Währung umrechnen
Versand: EUR 15,34
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642376509 ISBN 13: 9783642376504
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020225457

Verkäufer kontaktieren

Neu kaufen

EUR 54,03
Währung umrechnen
Versand: EUR 65,58
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642376509 ISBN 13: 9783642376504
Gebraucht Paperback

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA79636423765096

Verkäufer kontaktieren

Gebraucht kaufen

EUR 108,26
Währung umrechnen
Versand: EUR 29,52
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb