Isabelle/HOL : A Proof Assistant for Higher-Order Logic - neues Buch
2002, ISBN: 9783540459491
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.Compared with existing Isabelle documentation, it pro… Mehr…
hive.co.uk No. 9783540459491. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Isabelle/HOL - neues Buch
2002, ISBN: 9783540459491
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it pr… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
Isabelle/HOL - neues Buch
2002, ISBN: 9783540459491
Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Auflage 2002: ab 58.99 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer Berlin Heidelberg eBook als pdf, Springer B… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Isabelle/HOL - neues Buch
ISBN: 9783540459491
Isabelle/HOL - A Proof Assistant for Higher-Order Logic: ab 58.99 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer Berlin Heidelberg eBook als pdf, Springer Berlin Heidelberg
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Isabelle/HOL - neues Buch
2003, ISBN: 9783540459491
A Proof Assistant for Higher-Order Logic, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Isabelle/HOL : A Proof Assistant for Higher-Order Logic - neues Buch
2002, ISBN: 9783540459491
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.Compared with existing Isabelle documentation, it pro… Mehr…
Tobias Nipkow; Lawrence C. Paulson; Markus Wenzel:
Isabelle/HOL - neues Buch2002, ISBN: 9783540459491
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it pr… Mehr…
Isabelle/HOL - neues Buch
2002
ISBN: 9783540459491
Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Auflage 2002: ab 58.99 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer Berlin Heidelberg eBook als pdf, Springer B… Mehr…
Isabelle/HOL - neues Buch
ISBN: 9783540459491
Isabelle/HOL - A Proof Assistant for Higher-Order Logic: ab 58.99 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer Berlin Heidelberg eBook als pdf, Springer Berlin Heidelberg
Isabelle/HOL - neues Buch
2003, ISBN: 9783540459491
A Proof Assistant for Higher-Order Logic, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Isabelle/HOL
EAN (ISBN-13): 9783540459491
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-12-27T13:48:45+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-06T06:29:29+01:00 (Berlin)
ISBN/EAN: 9783540459491
ISBN - alternative Schreibweisen:
978-3-540-45949-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: tobias just, tobias wenzel, paul lawrence
Titel des Buches: hol, isabelle
Daten vom Verlag:
Autor/in: Tobias Nipkow; Lawrence C. Paulson; Markus Wenzel
Titel: Lecture Notes in Computer Science; Isabelle/HOL - A Proof Assistant for Higher-Order Logic
Verlag: Springer; Springer Berlin
226 Seiten
Erscheinungsjahr: 2003-07-31
Berlin; Heidelberg; DE
Sprache: Englisch
58,84 € (DE)
60,50 € (AT)
65,00 CHF (CH)
Available
XIV, 226 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Formal Methods; Formal Reasoning; Formal Specification; Formal Verification; Functional Programming; Higher-Order Logic; Interactive Proof Systems; Isabelle; Proof Assistants; Proof Theory; Theorem Proving; Type Theory; logic; predicate logic; verification; C; Formal Languages and Automata Theory; Logic; Theory of Computation; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Philosophie: Logik; Künstliche Intelligenz; Compiler und Übersetzer; BC
Elementary Techniques.- 1. The Basics.- 2. Functional Programming in HOL.- 3. More Functional Programming.- 4. Presenting Theories.- Logic and Sets.- 5. The Rules of the Game.- 6. Sets, Functions, and Relations.- 7. Inductively Defined Sets.- Advanced Material.- 8. More about Types.- 9. Advanced Simplification, Recursion, and Induction.- 10. Case Study: Verifying a Security Protocol.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540433767 Isabelle/HOL (Tobias Nipkow/ Lawrence C. Paulson/ Markus Wenzel)
< zum Archiv...