KolyangHOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL | |||||||
ISBN: | 978-3-8265-4068-4 | ||||||
Reihe: | BISS Monographs Herausgeber: Prof. Dr. Bernd Krieg-Brückner Bremen | ||||||
Band: | 4 | ||||||
Schlagwörter: | Formal Methods; Z; HOL; Higher.Order-Logic; Embedding | ||||||
Publikationsart: | Dissertation | ||||||
Sprache: | Englisch | ||||||
Seiten: | 134 Seiten | ||||||
Abbildungen: | 38 Abbildungen | ||||||
Gewicht: | 198 g | ||||||
Format: | 20,5 x 14,5 cm | ||||||
Bindung: | Paperback | ||||||
Preis: | 44,50 € | ||||||
Erscheinungsdatum: | März 1999 | ||||||
Kaufen: | |||||||
Weiterempfehlung: | Sie möchten diesen Titel weiterempfehlen? | ||||||
Rezensionsexemplar: | Hier können Sie ein Rezensionsexemplar bestellen. | ||||||
Verlinken: | Sie möchten diese Seite verlinken? Hier klicken. | ||||||
Export Zitat: |
|
||||||
» Weitere Titel von Kolyang. |