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

Faculty, students and Staff

978-0-521-89556-9


Computer Science--Modeling, event b

004.0151 ABR / ABR