Jean-Raymond Abrial
Jean-Raymond Abrial
3 ספרים במאגר
ספרים
Modeling in event-bJean-Raymond Abrial
Modeling in event-b
Jean-Raymond Abrial · 2010
Rigorous methods for software construction and analysisJean-Raymond Abrial
Rigorous methods for software construction and analysis
Jean-Raymond Abrial · 2009
Formal methods for industrial applicationsJean-Raymond Abrial
Formal methods for industrial applications
Jean-Raymond Abrial · 1996