Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE
Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02
Frais de port 0,01€*
Exclusivité web
Scilab fait partie des environnements de développement et de simulation
qui sont aujourd’hui incontournables pour l’enseignement des sciences de
...
En savoir plus.
Logique(s), langages formels et complexité pour l'informatique
Coll. Informatique
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils...
En savoir plus.
Introduction aux méthodes formelles
Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des...
En savoir plus.
L'apprentissage de la complexité
Coll. Systèmes complexes
Cet ouvrage est une introduction à la complexité, longtemps considérée comme un obstacle qu'il fallait contourner soit en simplifiant les situations réputées complexes soit en réduisant...
En savoir plus.
> Accédez à toutes nos parutions en Théories, mathématiques appliquées à l'informatique