Das Buch ist derzeit nicht auf Lager
Buchkauf
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL, Kolyang Dina Taïwé
- Sprache
- Erscheinungsdatum
- 1999
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Deutschland!
Zahlungsmethoden
Keiner hat bisher bewertet.