Modeling in Event-B : system and software engineering Jean-Raymond Abrial

By:

Publication details: Cambridge Cambridge University Press 2010Description: xxvi, 586 p. : ill. ; 26 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	004.0151 ABR (Browse shelf(Opens below))	Available		205089

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map