Shop : Verlinkung
Shop
Verlinkung
März 1999
Neuerscheinung
Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL
Schlagwörter: Formal Methods; Z; HOL; Higher.Order-Logic; Embedding
Link zum Buch
Kopieren Sie einfach folgende Zeilen in Ihr HTML-Dokument:
Das Buch <a href="https://www.shaker.de/shop/978-3-8265-4068-4"> Kolyang - HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL</a><br />(ISBN: 978-3-8265-4068-4) wurde im <a href="https://www.shaker.de">Shaker Verlag</a> veröffentlicht.
Ergebnis:
Das Buch Kolyang - HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL
(ISBN: 978-3-8265-4068-4) wurde im Shaker Verlag veröffentlicht.
(ISBN: 978-3-8265-4068-4) wurde im Shaker Verlag veröffentlicht.
Link zur Reihe
Kopieren Sie einfach folgende Zeilen in Ihr HTML-Dokument:
Die Reihe <a href="https://www.shaker.de/Reihe/141">BISS Monographs</a> erscheint im <a href="https://www.shaker.de">Shaker Verlag</a>.
Ergebnis:
Die Reihe BISS Monographs
erscheint im Shaker Verlag.
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Am Langen Graben 15a
52353 Düren
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
