Yazar
jean raymond abrial
5 cilt bulundu.
Cilt sonuçları
Modeling in event-b
Jean-Raymond Abrial · Cambridge University Press
599 sayfa · 2006
B method (Computer science) / Verification / Computer systems / Mathematical models / Formal methods (Computer science)
Rigorous methods for software construction and analysis
Jean-Raymond Abrial, Uwe Glässer · Springer London, Limited
234 sayfa · 2009
Formal methods (Computer science) / Electronic data processing / Information theory / Algorithms / Computer science
The B-book
Jean-Raymond Abrial · Cambridge University Press
779 sayfa · 1996
B method (Computer science) / Computer science / B (Computer program language) / Computer programming
Formal methods for industrial applications
Jean-Raymond Abrial, E. Börger · Springer
510 sayfa · 1996
Steam-boilers / Automatic control / Data processing
