- 5 Ergebnisse
Kleinster Preis: € 54,99, größter Preis: € 69,27, Mittelwert: € 62,31
1
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings Klaus
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings Klaus - neues Buch

2007, ISBN: 9783540745907

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. A… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Theorem Proving in Higher Order Logics - Schneider, Klaus Brandt, Jens
Bestellen
bei booklooker.de
€ 66,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Schneider, Klaus Brandt, Jens:

Theorem Proving in Higher Order Logics - Erstausgabe

2007, ISBN: 9783540745907

Gebundene Ausgabe

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 74,00
(ca. € 69,27)
Versand: € 11,671
Bestellen
Details beim Anbieter
gesponserter Link
Klaus Schneider:
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Taschenbuch

2007

ISBN: 9783540745907

Paperback / softback. New. This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern… Mehr…

Versandkosten: EUR 11.67 The Saint Bookstore
zuklappen (X)
4
Bestellen
bei alibris.co.uk
€ 61,21
Bestellen
Details und Versand
gesponserter Link
Schneider, Klaus (Editor), and Brandt, Jens (Editor):
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007 Kaiserslautern, Germany, September 10-13, 2007 Proceedings - Taschenbuch

2007, ISBN: 9783540745907

Trade paperback, New., Trade paperback (US). Glued binding. 404 p. Contains: Unspecified, Tables, black & white, Figures., Berlin, Heidelberg, [PU: Springer]

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 64,00
(ca. € 59,13)
Versand: € 15,071
Bestellen
Details beim Anbieter
gesponserter Link
Schneider, Klaus and Brandt, Jens:
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science, 4732) - Taschenbuch

2007, ISBN: 9783540745907

Paperback. Very Good., 3

Versandkosten: EUR 15.07 Happy Days
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings Klaus
Autor:
Titel:
ISBN-Nummer:

3540745904


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.

Detailangaben zum Buch - Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings Klaus


EAN (ISBN-13): 9783540745907
ISBN (ISBN-10): 3540745904
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg Core >1 >T
401 Seiten
Gewicht: 0,636 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-08-07T10:21:23+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T15:02:29+01:00 (Berlin)
ISBN/EAN: 3540745904

ISBN - alternative Schreibweisen:
3-540-74590-4, 978-3-540-74590-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: klaus schneider, schneider jens, klaus held, marie brandt
Titel des Buches: higher science, kaiserslautern, the order the, what logics mean, theorem proving

Daten vom Verlag:

Autor/in: Klaus Schneider; Jens Brandt
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theorem Proving in Higher Order Logics - 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Verlag: Springer; Springer Berlin
404 Seiten
Erscheinungsjahr: 2007-08-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 404 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; D programming language; modeling; programming; programming language; proving; semantics; theorem proving; verification; Theory of Computation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Artificial Intelligence; Logic Design; Software Engineering; Künstliche Intelligenz; Rechnerarchitektur und Logik-Entwurf; EA

On the Utility of Formal Methods in the Development and Certification of Software.- Formal Techniques in Software Engineering: Correct Software and Safe Systems.- Separation Logic for Small-Step cminor.- Formalising Java’s Data Race Free Guarantee.- Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.- Formalising Generalised Substitutions.- Extracting Purely Functional Contents from Logical Inductive Types.- A Modular Formalisation of Finite Group Theory.- Verifying Nonlinear Real Formulas Via Sums of Squares.- Verification of Expectation Properties for Discrete Random Variables in HOL.- A Formally Verified Prover for the Description Logic.- Proof Pearl: The Termination Analysis of Terminator.- Improving the Usability of HOL Through Controlled Automation Tactics.- Verified Decision Procedures on Context-Free Grammars.- Using XCAP to Certify Realistic Systems Code: Machine Context Management.- Proof Pearl: De Bruijn Terms Really Do Work.- Proof Pearl: Looping Around the Orbit.- Source-Level Proof Reconstruction for Interactive Theorem Proving.- Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.- Automatically Translating Type and Function Definitions from HOL to ACL2.- Operational Reasoning for Concurrent Caml Programs and Weak Memory Models.- Proof Pearl: Wellfounded Induction on the Ordinals Up to ? 0.- A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols.- Primality Proving with Elliptic Curves.- HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.- Building Formal Method Tools in the Isabelle/Isar Framework.- Simple Types in Type Theory: Deep and Shallow Encodings.- Mizar’s Soft Type System.
< zum Archiv...