Het boek is momenteel niet op voorraad
Een boek kopen
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL, Kolyang Dina Taiwe
- Taal
- Jaar van publicatie
- 1999
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.