Login
Communauté Vinci
Extérieur
Si votre nom d'utilisateur ne se termine pas par @vinci.be ou @student.vinci.be, utilisez le formulaire ci-dessous pour accéder à votre compte de lecteur.
Titre : | The deductive foundations of computer programming |
Auteurs : | Z. Manna ; R. Waldinger |
Type de document : | Livre |
Editeur : | Amsterdam : Addison-Wesley, 1993 |
Format : | 717p |
Index. décimale : | 04.17 (Mathématiques pour l'informatique) |
Descripteurs : |
HE Vinci Logique |
Disponible en ligne : | Non |
Exemplaires (1)
Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|
04.17 MAN | Livre | Woluwe | Espace livres | Prêt autorisé Disponible |