Chargement en cours...

The way of z practical programming with formal methods

Détails bibliographiques
Auteur principal: Jonathan Jacky
Format: Printed Book
Langue:English
Publié: Cambridge University Press 1997

DCS

Informations d'exemplaires de DCS
Cote: 004.43
Exemplaire Statut en temps réel indisponible