Dhaka University Library Online

Your cart is empty.
Library Logo
Normal view MARC view ISBD view

Formal methods applied to complex systems : implementation of the B Method / [electronic resource]

by Boulanger, Jean-Louis [editor.].
Material type: materialTypeLabelBookSeries: Computer engineering series (London, England): Publisher: London : ISTE ; 2014.Description: 1 online resource.ISBN: 9781119002680; 1119002680; 9781119002727; 1119002729.Subject(s): B method (Computer science) | Formal methods (Computer science) | COMPUTERS -- Software Development & Engineering -- General | B method (Computer science) | Formal methods (Computer science) | Electronic booksOnline resources: Wiley Online Library
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references and index.

Print version record.

There are no comments for this item.

Log in to your account to post a comment.
Last Updated on September 15, 2019
© Dhaka University Library. All Rights Reserved|Staff Login