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
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