The way of Z: practical programming with formal methods

other_versions_link
Bibliografische gegevens
Hoofdauteur: Jacky, Jonathan
Formaat: Printed Book
Taal:English
Gepubliceerd in: Cambridge Cambridge University press 1997
Onderwerpen:
Z (Computer program language)

DCA

Exemplaargegevens van DCA
Plaatsingsnummer: 004.43 JAC
Kopie Status is onbeschikbaar

Gelijkaardige items