JeanRaymond Abrial

JeanRaymond Abrial is the author of "Modeling in Event-B" and "Formal Methods for Industrial Applications".

Books by JeanRaymond Abrial

Modeling in Event...
Abrial, Jean-Raymond
Electronic book text:

Formal Methods fo...
Abrial, Jean-Raymond
Paperback: $109.99

Modeling in Event...
Abrial, Jean-Raymond
Hardback: $152.00

Modeling in Event...
Abrial, Jean-Raymond
Electronic book text: $234.00