The life of general de Zieten, tr. by B. Beresford
Author : Luise Johanne L. von Blumenthal
Publisher :
Page : 356 pages
File Size : 11,92 MB
Release : 1803
Category :
ISBN :
Author : Luise Johanne L. von Blumenthal
Publisher :
Page : 356 pages
File Size : 11,92 MB
Release : 1803
Category :
ISBN :
Author : B- (mme de.)
Publisher :
Page : 452 pages
File Size : 35,5 MB
Release : 1858
Category :
ISBN :
Author : Alma Rosa Del Angel Meza
Publisher : Palibrio
Page : 341 pages
File Size : 38,88 MB
Release : 2013-07
Category : Science
ISBN : 146336136X
El objetivo de este libro es presentar los métodos del análisis de alimentos más comunes y de mayor interés para el estudiante de nutrición, orientándolo principalmente al análisis químico a través del desarrollo de técnicas analíticas con las que pueden obtenerse resultados reproducibles y en las que se ha limitado la dependencia de costosos equipos de investigación, sin menoscabo de la calidad del análisis. Las técnicas empleadas infieren el desarrollo de procedimientos del tipo gravimétrico y volumétrico en general con los que se pretende que el estudiante se interese en continuar con la investigación de los métodos instrumentales.
Author : Library of Congress. Copyright Office
Publisher :
Page : 798 pages
File Size : 25,91 MB
Release : 1917
Category :
ISBN :
Author : Balthazar FLORET
Publisher :
Page : 406 pages
File Size : 43,34 MB
Release : 1866
Category :
ISBN :
Author : New York Public Library
Publisher :
Page : 968 pages
File Size : 36,32 MB
Release : 1917
Category : Bibliography
ISBN :
Includes its Report, 1896-19 .
Author :
Publisher :
Page : 620 pages
File Size : 47,15 MB
Release : 1912
Category :
ISBN :
Author : Henry Alfred Todd
Publisher :
Page : 444 pages
File Size : 26,38 MB
Release : 1928
Category : Electronic journals
ISBN :
Author : BOULANGER Jean-Louis
Publisher : Lavoisier
Page : 434 pages
File Size : 12,70 MB
Release : 2013-04-01
Category : B method (Computer science)
ISBN : 2746288109
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.
Author : William Wyndham Grenville Baron Grenville
Publisher :
Page : 592 pages
File Size : 47,74 MB
Release : 1906
Category : Great Britain
ISBN :