Il libro è attualmente esaurito
Acquisto del libro
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL, Kolyang Dina Taiwe
- Lingua
- Pubblicato
- 1999
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.