Verwandte Artikel zu Theorem Proving in Higher Order Logics: 20th International...

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings: 4732 (Lecture Notes in Computer Science) - Softcover

 
9783540745907: Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings: 4732 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540745904 ISBN 13: 9783540745907
Verlag: Springer, 2007

Inhaltsangabe

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

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

Reseña del editor

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

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

  • VerlagSpringer
  • Erscheinungsdatum2007
  • ISBN 10 3540745904
  • ISBN 13 9783540745907
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten412
  • HerausgeberSchneider Klaus
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
Ex-library paperback in very nice...
Diesen Artikel anzeigen
9783540745907: Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings: 4732 (Lecture Notes in Computer Science)
EUR 43,33

Währung umrechnen

EUR 65,97 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783540745907: Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings: 4732 (Lecture Notes in Computer Science)
EUR 52,67

Währung umrechnen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Theorem Proving in Higher Order Logics: 20th International...

Foto des Verkäufers

Schneider, Klaus|Brandt, Jens
ISBN 10: 3540745904 ISBN 13: 9783540745907
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

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

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specificatio. Bestandsnummer des Verkäufers 4900003

Verkäufer kontaktieren

Neu kaufen

EUR 52,67
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Klaus Schneider
Verlag: Springer, Berlin, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
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 book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. 404 pp. Englisch. Bestandsnummer des Verkäufers 9783540745907

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

Klaus Schneider
Verlag: Springer, Berlin, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
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 book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. Bestandsnummer des Verkäufers 9783540745907

Verkäufer kontaktieren

Neu kaufen

EUR 58,56
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
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 ria9783540745907_new

Verkäufer kontaktieren

Neu kaufen

EUR 62,35
Währung umrechnen
Versand: EUR 5,93
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Brandt Jens Schneider Klaus
Verlag: Springer, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

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

Zustand: New. PRINT ON DEMAND pp. 414. Bestandsnummer des Verkäufers 18301119

Verkäufer kontaktieren

Neu kaufen

EUR 88,21
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Schneider, Klaus (Editor)/ Brandt, Jens (Editor)
ISBN 10: 3540745904 ISBN 13: 9783540745907
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

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

Paperback. Zustand: Brand New. 1st edition. 401 pages. 9.10x6.10x1.00 inches. In Stock. Bestandsnummer des Verkäufers x-3540745904

Verkäufer kontaktieren

Neu kaufen

EUR 83,43
Währung umrechnen
Versand: EUR 11,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
Neu Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

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

Zustand: New. Print on Demand pp. 414 Illus. Bestandsnummer des Verkäufers 7546858

Verkäufer kontaktieren

Neu kaufen

EUR 86,27
Währung umrechnen
Versand: EUR 10,54
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Schneider, Klaus [Editor]; Brandt, Jens [Editor];
Verlag: Springer, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
Gebraucht Paperback

Anbieter: GuthrieBooks, Spring Branch, TX, USA

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

Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers 11020

Verkäufer kontaktieren

Gebraucht kaufen

EUR 43,33
Währung umrechnen
Versand: EUR 65,97
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Schneider, Klaus
Verlag: Springer 2007-08, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
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-9783540745907

Verkäufer kontaktieren

Neu kaufen

EUR 98,29
Währung umrechnen
Versand: EUR 15,47
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540745904 ISBN 13: 9783540745907
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 ABLIING23Mar3113020176200

Verkäufer kontaktieren

Neu kaufen

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

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 1 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen