Hochschulschrift
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826540684
3826540689
- Maße
-
21 cm
- Umfang
-
VI, 132 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 1998
- Erschienen in
-
BISS monographs / Bremer Institut für Sichere Systeme ; 5
- Schlagwort
-
HOL-Z
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 14:07 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Taiwé, Kolyang Dina
- Shaker
Entstanden
- 1999
Ähnliche Objekte (12)
Linear Resources in Isabelle/HOL
From LCF to Isabelle/HOL
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verified Code Generation from Isabelle/HOL
Certified Quantum Computation in Isabelle/HOL
Formalization of logical calculi in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Hol
HOL
Linear Resources in Isabelle/HOL
From LCF to Isabelle/HOL
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verified Code Generation from Isabelle/HOL
Certified Quantum Computation in Isabelle/HOL
Formalization of logical calculi in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Hol
HOL
Linear Resources in Isabelle/HOL
From LCF to Isabelle/HOL
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verified Code Generation from Isabelle/HOL
Certified Quantum Computation in Isabelle/HOL
Formalization of logical calculi in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Isabelle, HOL : a proof assistant for higher order logic
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Hol