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