Willkommen. Schön, sind Sie da!
Mein Ex Libris
Jetzt anmelden
DE
FR
Kontakt
Hilfe
Service
Über Ex Libris
Filialen
0
0
Alle
Erweiterte Suche
Bücher
E-Books
Filme
Musik
Spiele
Games
Mehr...
Club-Welt
Disney-Welten
Aktionen und Specials
Gutscheine schenken
Home
Bücher
E-Books Englisch
IT & Internet
Isabelle/HOL
Isabelle/HOL
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
E-Book (pdf), 226 Seiten
(0)
Erste Bewertung abgeben
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle ...
Weiterlesen
CHF
65.00
Download steht sofort bereit
Informationen zu E-Books
E-Book (pdf)
In den Warenkorb
Auf meine Merkliste setzen
Bestellung & Lieferung in eine Filiale möglich
Mehr anzeigen