Home Advanced Search

Advanced Search - Page 1

The B-Book: Assigning Programs to Meanings
  • PDF
  • English
  • Year: 2005
  • Author: J. R. Abrial
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)
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
Modeling in Event-B: System and Software Engineering
  • PDF
  • English
  • Year: 2010
  • Author: Jean-Raymond Abrial
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Jean -Raymond Abrial (auth.), Didier Bert (eds.)
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Jean -Raymond Abrial (auth.), Didier Bert (eds.)
La communauté de l’anneau
  • PDF
  • French
  • Year: 2009
  • Author: J R R Tolkien
Ósanwe-kenta
  • PDF
  • English
  • Year: 1998
  • Author: J. R. R. Tolkien
search