کتاب های Abrial
درباره نویسنده
Rigorous Development of Complex Fault-Tolerant Systems
Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.), 2006
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Jean-Raymond Abrial (auth.), 2013
Rigorous Development of Complex Fault-Tolerant Systems
Jean-Raymond Abrial (auth.), 2006
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Jean-Raymond Abrial, 1996
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Jean-Raymond Abrial (auth.), 2013
L'Alsace en rouge et blanc
Abrial, Annick, 2008
Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome
Annick Abrial, Marie-Anne Réthoret-Mélin, Perrette Samouïloff, 2010
Dicionário Caboverdiano-Português: Variante de Santiago
Nicolas Quint-Abrial, 1998
Modeling in Event-B : system and software engineering
Jean-Raymond Abrial, 2010
