L'informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d'un outil de base.
Essentiellement pédagogique, cet ouvrage se propose donc d'enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c'est-à-dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l'ambiguïté et à l'erreur selon les règles de la logique.

Le raisonnement formel est un genre de calcul qui demande à être étudié, exercé et appliqué. C'est là le but principal de ce livre. Il fournit une formation de base, qui consiste en un exposé soigné des règles du raisonnement formel et leur application systématique au traitement de la théorie élémentaire des ensembles. Celle-ci a été choisie en tant que première application, en raison de l'importance des méthodes formelles ensemblistes en informatique.

Cet ouvrage est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie des ensembles.

Introduction - Langages formels - Smboles d'un langage du premier ordre - Théories ou systèmes de déduction - Logique propositionnelle - Déductions dérivées de logique propositionnelle - Introduction à la théorie des ensembles - Logique des prédicats - Déductions dérivées de logique des prédicats - Logique des prédicats avec égalité - Extensions définitionnelles - Langages du premier ordre à opérateurs généraux - Opérateurs de réunion et de collection de la théorie des ensembles - Fonctions - Annexe - Bibliographie - Index.

"L'ouvrage détaillé avec clarté et profondeur les techniques de raisonnement purement formelles qui, basées sur la manipulation de symboles, ne laissant aucune place à l'ambiguïté et à l'erreur. Une introduction élémentaire à la théorie des ensembles complète judicieusement le livre.
Le lecteur trouvera, associé à ce livre, un formulaire très pratique pour les applications et les exercices. On peut dire que le livre constitue le manuel idéal pour initier les étudiants universitaires à la logique dans la perspective de son utilisation techno-scientifique."
Revue des Questions Scientifiques

Cet ouvrage cible prioritairement les nouveaux domaines des systèmes temps-réel et des applications critiques en procédant par étapes, selon une approche descriptive didactique.

Articulé en trois parties, cet ouvrage a l'originaltié de réunir à la fois les éléments classiques du langage C++ selon la norme ISO, les principes de l'orientation objets appliqués à ce langage, ainsi qu'une introduction à la modélisation objets avec UML pour le développement d'application C++.
Les exemples de l'ouvrage sont disponibles en téléchargement (PDF).

Cet ouvrage a pour objectif d'offrir les connaissances nécessaires à tout apprentissage de la programmation: un cadre permettant au débutant de développer sa pratique sur des cas concrets.

Cet ouvrage didactique décrit le langage Esterel et les Sync-Charts avec de nombreux exemples, ainsi que la compilation vers des cibles logicielles ou matérielles (VHDL).