Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 €
Elta-Stelle 3.99 €
Elta 4.49 €
ACS 4.99 €
ACS-Stelle 4.99 €
Box Now 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DHL-Kurier 9.99 €
Elta-Stelle 3.99 €
Elta 4.49 €
ACS 4.99 €
ACS-Stelle 4.99 €
Box Now 3.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Wir sind für Sie da!
210 2602819
Mein Konto
▸
Leer :-(
0
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Sprache
Englisch
Englisch
Buch
Broschur
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an...
Vollständige Beschreibung
Libristo-Code: 01564177
?
150 b
150 b
61.90
€
Externes Lager
Wir versenden in 5-8 Tagen
Lieferung in Griechenland
Lieferung in Griechenland
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
25.18
€
/
Broschur
38.33
€
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Informationen zum Buch
Vollständiger Name
Isabelle/HOL
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2002
Anzahl der Seiten
226
EAN
9783540433767
ISBN
3540433767
Libristo-Code
01564177
Gewicht
370
Abmessungen
235 x 157 x 19
Kategorie
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse
>
Elektronik, Nachrichtentechnik
>
Elektronik
>
Regelungstechnik
>
Robotik
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Hardcover
210.70
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?