Modeling in Event-B /
Abrial, Jean-Raymond
Modeling in Event-B / by Jean-Raymond Abrial. - Cambridge : Cambridge University Press, 2010. - xxvi, 586 p. : ill. ;
Include Index
9780521895569
Formal methods (Computer science)
004.01 / ABR/M
Modeling in Event-B / by Jean-Raymond Abrial. - Cambridge : Cambridge University Press, 2010. - xxvi, 586 p. : ill. ;
Include Index
9780521895569
Formal methods (Computer science)
004.01 / ABR/M