Loading...
The way of z practical programming with formal methods
Hovedforfatter: | |
---|---|
Format: | Printed Book |
Sprog: | English |
Udgivet: |
Cambridge University Press
1997
|
DCS
Klassifikationsnummer: |
004.43 |
---|---|
Kopi | Live Status Unavailable |