Das Buch ist derzeit nicht auf Lager

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL

Autoren

Kolyang Dina Taïwé

Parameter

ISBN: 9783826540684
Verlag: Shaker

Kategorien

Deine Änderungsvorschläge

Buchvariante

1999

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.