Author: Perrier Lamotte
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Methode de Lecture
Méthode de Lecture
Author: Paul ROBIN
Publisher:
ISBN:
Category : French language
Languages : en
Pages : 16
Book Description
Publisher:
ISBN:
Category : French language
Languages : en
Pages : 16
Book Description
Catalogue of the Educational Division of the South Kensington Museum
Catalogue of the educational division of the South Kensington museum
Author: Victoria and Albert museum
Publisher:
ISBN:
Category :
Languages : en
Pages : 702
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 702
Book Description
Catalogue of the Educational Divisions of the South Kensington Museum
Les Livres de L'année
Author:
Publisher: Odile Jacob
ISBN: 2738187145
Category :
Languages : en
Pages : 252
Book Description
Publisher: Odile Jacob
ISBN: 2738187145
Category :
Languages : en
Pages : 252
Book Description
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Dictionary of Medicine
Author: Svetolik P. Djordjević
Publisher: Schreiber, Shengold Publishing
ISBN: 1887563849
Category : English language
Languages : en
Pages : 1120
Book Description
With over 105,000 medical terms and over one million words, this is the most extensive dictionary of its kind available.
Publisher: Schreiber, Shengold Publishing
ISBN: 1887563849
Category : English language
Languages : en
Pages : 1120
Book Description
With over 105,000 medical terms and over one million words, this is the most extensive dictionary of its kind available.