Books by Jean-Raymond Abrial
3 titles available, newest first by original publication date.
Modeling in Event-B
Jean-Raymond Abrial
$194.99
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Jean-Raymond Abrial
$67.99
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Jean-Raymond Abrial
$128.99