Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
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)
Cote Support Localisation Disponibilité 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 
texte imprimé
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)
Cote Support Localisation Disponibilité 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
