Beweissystem Isabelle

Zum Schlagwort Beweissystem Isabelle
ist 1 Buch im Verlag Dr. Kovač erschienen.

1. Oscar Slotosch Refinements in HOLCF: Implementation of Interactive Systems Hamburg 1997, 296 Seiten ISBN-13: 978-3-86064-625-0, ISBN-10: 3-86064-625-7 Schlagworte: HOLCF, Beweissystem Isabelle, Verfeinerung, Refinement, Verifikation, Korrektheit, Quotienten, Subtypen