Number of the records: 1
Modeling in Event-B
Title statement Modeling in Event-B : system and software engineering / Jean-Raymond Abrial Personal name Abrial, Jean-Raymond, 1938- (author) Issue data Cambridge [u.a.] : Cambridge University Press, 2010 Phys.des. xxvi, 586 s. : il. ISBN 978-0-521-89556-9 (váz.) Internal Bibliographies/Indexes Note Obsahuje bibliografie a rejstřík Subj. Headings počítačové modelování * počítačová věda * softwarové inženýrství Form, Genre příručky Conspect 004.9 - Speciální počítačové metody. Počítačová grafika UDC 004.94 * 004 * 004.41 * (035) Country Spojené státy americké Language angličtina URL Obsah Document kind Books 
Call number Barcode Sublocation Volný výběr Info P-M 3149 3149295643 IN - Barilla Ing. In-Library Use Only P-M 3149 3149295772 IN - Fišer J. Mgr. In-Library Use Only P-M 3149 3149295771 sklad D Date due 31 days
Number of the records: 1