Modeling in Event-B : system and software engineering

Saved in:
Bibliographic Details
Main Author: Abrial, Jean-Raymond, 1938- (Author)
Format: Book
Language: English
Published: Cambridge : Cambridge University Press, 2010
Subjects:
ISBN: 9780521895569
Physical Description: xxvi, 586 stran : ilustrace ; 26 cm

Cover

Table of contents

Status Description Location Call Number
Status
Long term loan Due : 22.12.2027  Recall This
Description

Location
FAI Call Number 004/ABRIAL,J.-R.

Status Description Location Call Number
Long term loan - Due : 22.12.2027  Recall This FAI 004/ABRIAL,J.-R.