P-M 3149
Abrial, Jean-Raymond, 1938-
Modeling in Event-B : system and software engineering / Jean-Raymond Abrial. -- Cambridge [u.a.] : Cambridge University Press, 2010. -- xxvi, 586 s. : il. -- ISBN : 978-0-521-89556-9 (váz.).
počítačové modelování. počítačová věda. softwarové inženýrství. příručky
004.94. 004. 004.41. (035)