Février 2010 - 272 pages - ISBN : 978-2-311-00020-7
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 ...
Cet ouvrage permet, grâce à de nombreux exemples progressifs et variés, de faire rapidement l'apprentissage de l'ensemble des commandes de la dernière version TCL/TK.
Octobre 2008 - 240 pages - ISBN : 978-2-7117-2077-4
Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. Rédigé à l'attention des étudiants en Licence et en Master de mathématiques ou d'informatique, cet ...
Les domaines d’utilisation des expressions régulières sont nombreux : elles interviennent tant dans le cadre de l’édition de textes très divers qu’en programmation.
Octobre 2005 - 464 pages - ISBN : 978-2-7117-4856-3
Une présentation des principes de base de la programmation moderne, dite programmation objet, avec une mise en pratique immédiate du langage C++, qui ne requière aucune culture informatique préalable.
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.
![[title]](http://www.vuibert.fr/sites/default/files/imagecache/ouvrage_petit_format/ouvrages/9782311013672/images/9782311013672-g.jpg)
