Hugues Bersini, Nicolas Van Zeebroeck, Pascal Francq
1re édition | 2023 | 432 pages | 9782807351547
Une introduction aux principes fondamentaux de l’informatique destinée aux étudiants des filières techniques, scientifiques et commerciales recevant une initiation à l’informatique durant leurs premières années d’études.
Un manuel de référence pour découvrir les bases indispensables à la réalisation de documents avec LaTeX et pour approfondir quelques points fondamentaux.
Nous sommes devenus trop occupés pour nous poser la question : que pouvons-nous faire pour casser ce cercle de la pression constante, toujours présente ? Devons-nous continuer à survivre plutôt qu'à nous épanouir dans les environnements professionnels actuels ? Heureusement, la réponse est non. Les auteurs démontrent qu’il est possible d’entraîner son cerveau à réagir différemment aux pressions et distractions perpétuelles d’aujourd’hui. Cela ne demande... qu’une seconde.
Vérifier, tester et concevoir des programmes en les modélisant
Jacques Julliand
1re édition | 2010 | 272 pages | 9782311000207
Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour concevoir des logiciels.