Library Logo
Bengali Keyboard

Formal methods applied to complex systems : implementation of the B method. /

Boulange, Jean-Lois

Formal methods applied to complex systems : implementation of the B method. / edited by Jean-Lois Boulanger. - London : ISTE, c 2014. - xx, 490p. : ill. : - Computer engineering series .

Includes bibliographical references and index.

9781848217096 9781119002727


Formal methods (Computer science)
B method (Computer science)
Computer science--Mathematical models.

004.0151


Last Updated Oct 16, 2019.
Copyright © Green University Library
Green University of Bangladesh
University Home | Library Home

Powered by Koha