02243cam a2200601Ki 4500 ocn887825577 OCoLC 20171026113259.0 m o d cr cnu---unuuu 140819s2014 enka ob 001 0 eng d 9781119002680 (electronic bk.) 1119002680 (electronic bk.) 9781119002727 (electronic bk.) 1119002729 (electronic bk.) 1848217099 9781848217096 AU@ 000053548381 CHBIS 010259755 CHBIS 010290453 CHNEW 000696705 CHNEW 000696706 CHVBK 325940037 CHVBK 331625075 NZ1 15908971 DEBBG BV043397075 (OCoLC)887825577 (OCoLC)961504398 N$T eng rda pn N$T DG1 YDXCP E7B OCLCF OCLCQ DEBBG MAIN QA76.9.B22 COM 051230 bisacsh 005.1 23 Formal methods applied to complex systems : implementation of the B Method / edited by Jean-Louis Boulanger. [electronic resource] London : ISTE ; Hoboken, NJ : Wiley, 2014. 1 online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier Computer engineering series Includes bibliographical references and index. Print version record. B method (Computer science) Formal methods (Computer science) COMPUTERS Software Development & Engineering General. bisacsh B method (Computer science) fast (OCoLC)fst00824798 Formal methods (Computer science) fast (OCoLC)fst00932926 Electronic books. Boulanger, Jean-Louis, editor. Print version: Formal methods applied to complex systems 1848217099 (DLC) 2014939764 (OCoLC)880199466 Computer engineering series (London, England) http://onlinelibrary.wiley.com/book/10.1002/9781119002727 Wiley Online Library ddc BK 207630 207630