000 00636nam a2200217Ia 4500
005 20231121093147.0
008 231120s9999 xx 000 0 und d
020 _a978-0-521-89556-9
040 _aLIS CUI Lahore
_cAACR-II/RDA
082 _a004.0151 ABR-M
100 _aAbrial, Jean-Raymond
245 0 _aModeling in events B
_bSystem and software engineering
260 _aNew York
_bCambridge University Press
264 _c2010
300 _aHard Binding
_bxxvi 586
365 _b1378
_cRs.
546 _aEnglish
650 _xModeling, event b
852 _pLHR 21646
942 _2lhr
_cLHR 21646
_h1
999 _c440742
_d440742