Modeling in events B System and software engineering

Abrial, Jean-Raymond

Modeling in events B System and software engineering - New York Cambridge University Press - Hard Binding xxvi 586


English

978-0-521-89556-9

--Modeling, event b

004.0151 ABR-M