Modeling in Event-B : system and software engineering

Saved in:
Bibliographic Details
Main Author Abrial, Jean-Raymond, 1938- (Author)
Format Book
LanguageEnglish
Published Cambridge : Cambridge University Press, 2010
Subjects
počítačové modelování
počítačová věda
softwarové inženýrství
computer modeling
computer science
software engineering
příručky
handbooks and manuals
ISBN9780521895569
Physical Descriptionxxvi, 586 stran : ilustrace ; 26 cm

Cover

TOC from ObalkyKnih.cz
More Information
Bibliography:Obsahuje bibliografie a rejstřík
ISBN:9780521895569
Physical Description:xxvi, 586 stran : ilustrace ; 26 cm

Similar Items