Central Library

ABRIAL, J.R.

MODELING IN EVENT-B SYSTEM AND SOFTWARE ENGINEERING - NEW YORK Cambridge University Press 2010 - xxvi+586p.,25x19Cms.

978052189556

621.3819642 A458