Kolyang
HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL
ISBN: 978-3-8265-4068-4
Preis: 44,50 € / 89,00 SFR