Author: Jean-Pierre Nougier
Publisher:
ISBN:
Category : Numerical analysis
Languages : fr
Pages : 336
Book Description
Méthodes de calcul numérique
Author: Jean-Pierre Nougier
Publisher:
ISBN:
Category : Numerical analysis
Languages : fr
Pages : 336
Book Description
Publisher:
ISBN:
Category : Numerical analysis
Languages : fr
Pages : 336
Book Description
Social security and related matters
Author: Council of Europe
Publisher: Council of Europe
ISBN: 9789287140142
Category : Language Arts & Disciplines
Languages : en
Pages : 932
Book Description
This glossary will be a privileged tool of translators, experts and all those working in the field of social issues. About 15 000 primary entries and a total of 28 500 terms contribute to make this glossary a comprehensive compilation in the field of social security.
Publisher: Council of Europe
ISBN: 9789287140142
Category : Language Arts & Disciplines
Languages : en
Pages : 932
Book Description
This glossary will be a privileged tool of translators, experts and all those working in the field of social issues. About 15 000 primary entries and a total of 28 500 terms contribute to make this glossary a comprehensive compilation in the field of social security.
Méthodes Numériques de Calcul Des Pieux Pour Les Ouvrages en Mer
Author: Institut Français du Pétrole. Rueil-Malmaison
Publisher: Editions TECHNIP
ISBN: 9782710805007
Category : Technology & Engineering
Languages : en
Pages : 550
Book Description
Publisher: Editions TECHNIP
ISBN: 9782710805007
Category : Technology & Engineering
Languages : en
Pages : 550
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.
Sediment Budgets
Author: D. E. Walling
Publisher:
ISBN: 9781901502879
Category : Science
Languages : en
Pages : 388
Book Description
Publisher:
ISBN: 9781901502879
Category : Science
Languages : en
Pages : 388
Book Description
Mathpattes
Author: Edwin M. Lieberthal
Publisher:
ISBN:
Category :
Languages : fr
Pages : 224
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 224
Book Description
Colloque international des techniques de calcul analogique et numérique en aéronautique
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 568
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 568
Book Description
Les bases de la méthode de calcul
Author:
Publisher:
ISBN:
Category :
Languages : fr
Pages : 52
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 52
Book Description
Méthode de calcul
Author: Adolphe Belot
Publisher:
ISBN:
Category :
Languages : fr
Pages : 48
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 48
Book Description
Rheology and Soil Mechanics / Rhéologie et Mécanique des Sols
Author: Julien Kravtchenko
Publisher: Springer
ISBN: 3662394499
Category : Technology & Engineering
Languages : en
Pages : 519
Book Description
Publisher: Springer
ISBN: 3662394499
Category : Technology & Engineering
Languages : en
Pages : 519
Book Description