Chargement en cours...

Formal specification and software development

Détails bibliographiques
Auteur principal: Bjorner, Diner
Autres auteurs: Jones, Cliff B.
Format: Printed Book
Langue:English
Publié: New Jersy Prentice-hall international 1982
Collection:Printice-Hall International series in computer science
Sujets:

UL

Informations d'exemplaires de UL
Cote: 004.414.38 BJO
Exemplaire Statut en temps réel indisponible