2002, ISBN: 9783540433767
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) - Taschenbuch
2002, ISBN: 9783540433767
Mitwirkende: Paulson, Lawrence C. Mitwirkende: Wenzel, Markus, Springer, Taschenbuch, Auflage: 2002, 240 Seiten, Publiziert: 2002-04-03T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Ill… Mehr…
Amazon.de (Intern... worldofbooksde Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) - Taschenbuch
2002, ISBN: 9783540433767
Mitwirkende: Paulson, Lawrence C. Mitwirkende: Wenzel, Markus, Springer, Taschenbuch, Auflage: 2002, 240 Seiten, Publiziert: 2002-04-03T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Ill… Mehr…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2002, ISBN: 3540433767
2002 Kartoniert / Broschiert Logik, Philosophie / Logik, Compiler und Übersetzer, Theoretische Informatik, Künstliche Intelligenz, formalmethods; formalreasoning; formalspecification; f… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2002, ISBN: 9783540433767
*Isabelle/HOL* - A Proof Assistant for Higher-Order Logic. Auflage 2002 / Taschenbuch für 58.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (karto… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2002, ISBN: 9783540433767
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…
Nipkow, Tobias:
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) - Taschenbuch2002, ISBN: 9783540433767
Mitwirkende: Paulson, Lawrence C. Mitwirkende: Wenzel, Markus, Springer, Taschenbuch, Auflage: 2002, 240 Seiten, Publiziert: 2002-04-03T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Ill… Mehr…
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) - Taschenbuch
2002
ISBN: 9783540433767
Mitwirkende: Paulson, Lawrence C. Mitwirkende: Wenzel, Markus, Springer, Taschenbuch, Auflage: 2002, 240 Seiten, Publiziert: 2002-04-03T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Ill… Mehr…
2002, ISBN: 3540433767
2002 Kartoniert / Broschiert Logik, Philosophie / Logik, Compiler und Übersetzer, Theoretische Informatik, Künstliche Intelligenz, formalmethods; formalreasoning; formalspecification; f… Mehr…
2002, ISBN: 9783540433767
*Isabelle/HOL* - A Proof Assistant for Higher-Order Logic. Auflage 2002 / Taschenbuch für 58.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (karto… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Isabelle/HOL
EAN (ISBN-13): 9783540433767
ISBN (ISBN-10): 3540433767
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
240 Seiten
Gewicht: 0,369 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-05T12:44:04+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-05-10T15:32:15+02:00 (Berlin)
ISBN/EAN: 3540433767
ISBN - alternative Schreibweisen:
3-540-43376-7, 978-3-540-43376-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: nipkow, tobias wenzel, paul markus, lawrence paul, tobias just, lawrence mark
Titel des Buches: logic for computer science, markus, isabelle, hol, order, lecture notes computer science
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: 2002-04-03
Berlin; Heidelberg; DE
Sprache: Englisch
58,84 € (DE)
60,49 € (AT)
65,00 CHF (CH)
Available
XIV, 226 p.
BC; Hardcover, Softcover / 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; Formal Languages and Automata Theory; Logic; Theory of Computation; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Philosophie: Logik; Künstliche Intelligenz; Compiler und Übersetzer; EA
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:
9783540459491 Isabelle/HOL (Tobias Nipkow/ Lawrence C. Paulson/ Markus Wenzel)
< zum Archiv...