- 5 Ergebnisse
Kleinster Preis: € 48,37, größter Preis: € 55,60, Mittelwert: € 50,86
1
Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings - Harrison, John (Herausgeber); Aagaard, Mark (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Harrison, John (Herausgeber); Aagaard, Mark (Herausgeber):

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings - neues Buch

2000, ISBN: 3540678638

2000 Kartoniert / Broschiert Logik, Philosophie / Logik, Software Engineering, Theoretische Informatik, Künstliche Intelligenz, automateddeduction; formalmethods; hardwareverification; … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Theorem Proving in Higher Order Logics - Aagaard, Mark D. Harrison, John
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Aagaard, Mark D. Harrison, John:

Theorem Proving in Higher Order Logics - Erstausgabe

2000, ISBN: 9783540678632

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume is the procee… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
3
Theorem Proving in Higher Order Logics
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Theorem Proving in Higher Order Logics - Taschenbuch

2000

ISBN: 9783540678632

*Theorem Proving in Higher Order Logics* - 13th International Conference TPHOLs 2000 Portland OR USA August 14-18 2000 Proceedings. Auflage 2000 / Taschenbuch für 53.49 € / Aus dem Bereic… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
4
Theorem Proving in Higher Order Logics - Aagaard, Mark D.|Harrison, John
Bestellen
bei ZVAB.com
€ 48,37
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aagaard, Mark D.|Harrison, John:
Theorem Proving in Higher Order Logics - Taschenbuch

2000, ISBN: 3540678638

[EAN: 9783540678632], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], LOGIK PHILOSOPHIE AUTOMATEDDEDUCTION FORMALMETHODS HARDWAREVERIFICATION HIGHERORDERLOGIC ISABELLE LOGICDESIGN M… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
5
Theorem Proving in Higher Order Logics - Aagaard, Mark D.|Harrison, John
Bestellen
bei AbeBooks.de
€ 48,37
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Aagaard, Mark D.|Harrison, John:
Theorem Proving in Higher Order Logics - Taschenbuch

2000, ISBN: 3540678638

[EAN: 9783540678632], Neubuch, [PU: Springer Berlin Heidelberg], LOGIK PHILOSOPHIE AUTOMATEDDEDUCTION FORMALMETHODS HARDWAREVERIFICATION HIGHERORDERLOGIC ISABELLE LOGICDESIGN MATHEMATICAL… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
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
Autor:
Titel:
ISBN-Nummer:

9783540678632


This book constitutes the refereed proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2000, held in Portland, Oregon, USA in August 2000. The 29 revised full papers presented together with three invited contributions were carefully reviewed and selected from 55 submissions. All current aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification are covered. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.

Detailangaben zum Buch - Theorem Proving in Higher Order Logics


EAN (ISBN-13): 9783540678632
ISBN (ISBN-10): 3540678638
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg
552 Seiten
Gewicht: 0,824 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-26T16:31:49+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T11:19:13+01:00 (Berlin)
ISBN/EAN: 9783540678632

ISBN - alternative Schreibweisen:
3-540-67863-8, 978-3-540-67863-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: aagaard, john harrison, harrison mark, john harris
Titel des Buches: higher science, august, towards new international order, logic computer science, what logics mean, portland, 2000, theorem proving, science john harrison

Daten vom Verlag:

Autor/in: Mark Aagaard; John Harrison
Titel: Lecture Notes in Computer Science; Theorem Proving in Higher Order Logics - 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Verlag: Springer; Springer Berlin
539 Seiten
Erscheinungsjahr: 2000-07-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 539 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automated Deduction; Formal Methods; Hardware Verification; Higher Order Logic; Isabelle; Logic Design; Mathematical Logic; Model Checking; SPIN; formal verification; proving; theorem proving; verification; Artificial Intelligence; Theory of Computation; Compilers and Interpreters; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Theoretische Informatik; Compiler und Übersetzer; Software Engineering; EA

Fix-Point Equations for Well-Founded Recursion in Type Theory.- Programming and Computing in HOL.- Proof Terms for Simply Typed Higher Order Logic.- Routing Information Protocol in HOL/SPIN.- Recursive Families of Inductive Types.- Aircraft Trajectory Modeling and Alerting Algorithm Verification.- Intel’s Formal Verification Experience on the Willamette Development.- A Prototype Proof Translator from HOL to Coq.- Proving ML Type Soundness Within Coq.- On the Mechanization of Real Analysis in Isabelle/HOL.- Equational Reasoning via Partial Reflection.- Reachability Programming in HOL98 Using BDDs.- Transcendental Functions and Continuity Checking in PVS.- Verified Optimizations for the Intel IA-64 Architecture.- Formal Verification of IA-64 Division Algorithms.- Fast Tactic-Based Theorem Proving.- Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover.- A Strong and Mechanizable Grand Logic.- Inheritance in Higher Order Logic: Modeling and Reasoning.- Total-Correctness Refinement for Sequential Reactive Systems.- Divider Circuit Verification with Model Checking and Theorem Proving.- Specification and Verification of a Steam-Boiler with Signal-Coq.- Functional Procedures in Higher-Order Logic.- Formalizing Stålmarck’s Algorithm in Coq.- TAS — A Generic Window Inference System.- Weak Alternating Automata in Isabelle/HOL.- Graphical Theories of Interactive Systems: Can a Proof Assistant Help?.- Formal Verification of the Alpha 21364 Network Protocol.- Dependently Typed Records for Representing Mathematical Structure.- Towards a Machine-Checked Java Specification Book.- Another Look at Nested Recursion.- Automating the Search for Answers to Open Questions.- Appendix: Conjectures Concerning Proof, Design, and Verification.
Includes supplementary material: sn.pub/extras
< zum Archiv...