Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécid[...]
Exemplaires (4)
|
S8/77297 | Livre | Bibliothèque centrale | Disponible |
S8/77298 | Livre | Bibliothèque centrale | Disponible |
S8/77299 | Livre | Bibliothèque centrale | Disponible |
S8/77300 | Livre | Bibliothèque centrale | Disponible |
La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de[...]
Exemplaires (4)
|
S8/73917 | Livre | Bibliothèque centrale | Disponible |
S8/73918 | Livre | Bibliothèque centrale | Disponible |
S8/73919 | Livre | Bibliothèque centrale | Disponible |
S8/73920 | Livre | Bibliothèque centrale | Disponible |
Accueil