Program construction : calculating implementations from specifications

Program construction : calculating implementations from specifications

Enregistré dans:
Détails bibliographiques
Auteur principal : Backhouse Roland Carl (Auteur)
Format : Livre
Langue : anglais
Titre complet : Program construction : calculating implementations from specifications / Roland Backhouse
Publié : New York : Wiley , cop. 2003
Description matérielle : xii-340 p.
Sujets :
Microordinateurs > Programmation