Techniques industrielles de modélisation formelle pour le transport

Name: Techniques industrielles de modélisation formelle pour le transport
ISBN: 9782746232303

ISBN-13

9782746232303

Éditeur

Hermès science publications-Lavoisier (Paris)

Date de publication

01/01/2011

Résumé

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion

0 annonce en vente actuellement

Je veux vendre ce livre

Du même rayon

Physique Chimie MPSI : Fiches-méthodes et exercices corrigés

Christophe Bernicot, Pauline Boulleaux-Binot, Olivier Chamelat, Thomas Roy

Les groupes : une structure précieuse

Neutron and Synchrotron Radiation for Condensed Matter Studies : Applications to Solid State Physics and Chemistry

Jose Baruchel, Jean-Louis Hodeau, Mogens S. Lehmann, Jean-Rene Regnard, Claire Schlenker

Génie des procédés appliqué à l'industrie laitière

Romain Jeantet, Gérard Brulé, Guillaume Delaplace

Le jardin météorologique : Et autres constructions climatiques

Philippe Rahm

Génie électrique

Association de bétons et d'armatures à hautes performances : Projet national BHP 2000

Projet national BHP 2000

Mathématiques PCSI (6e éd.) ouvrage coordonné par Nicolas Nguyen,... ; [par] Mathieu Fontes,... Walter Damin,... Christophe Jan,...

Mathieu Fontes, Walter Damin, Christophe Jan

La valeur de la science

Henri Poincaré

Géométrie différentielle avec 80 figures : Niveau L3-M1

Catherine Doss-Bachelet, Jean-Pierre Françoise, Claude Piquet