Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Isabelle/HOL

Isabelle/HOL - Tobias Nipkow - Bog

- A Proof Assistant for Higher-Order Logic

af Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

indgår i Lecture Notes in Computer Science serien

Isabelle/HOL af Tobias Nipkow
Bag om Isabelle/HOL

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540433767
  • Indbinding:
  • Paperback
  • Sideantal:
  • 226
  • Udgivet:
  • 3. april 2002
  • Udgave:
  • 2002
  • Størrelse:
  • 157x235x19 mm.
  • Vægt:
  • 370 g.
  • 8-11 hverdage.
  • 20. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Tobias Nipkow

Vis alle bøger af Tobias Nipkow

Beskrivelse af Isabelle/HOL

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.

Brugerbedømmelser af Isabelle/HOL



Andre købte også..
Find lignende bøger
Bogen Isabelle/HOL findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.