Home Advanced Search

Advanced Search - Page 1

Modeling in Event-B : system and software engineering
  • PDF
  • English
  • Year: 2010
  • Author: Jean-Raymond Abrial
The B-book : assigning programs to meanings / [...] XD-US
  • DJVU
  • English
  • Year: 1996
  • Author: Jean-Raymond Abrial
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Rigorous Development of Complex Fault-Tolerant Systems
  • PDF
  • English
  • Year: 2006
  • Author: Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
Rigorous Development of Complex Fault-Tolerant Systems
  • PDF
  • English
  • Year: 2006
  • Author: Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)
Event-B建模 系统和软件工程
  • PDF
  • Chinese
  • Year: 2021
  • Author: Jean-Raymond Abria
The Theater of Terrence McNally: Something about Grace
  • EPUB
  • English
  • Year: 2019
  • Author: Raymond-Jean Frontain
search