Počet záznamů: 1
Modeling in Event-B
Údaje o názvu Modeling in Event-B : system and software engineering / Jean-Raymond Abrial Osobní jméno Abrial, Jean-Raymond, 1938- (autor) Vyd.údaje Cambridge [u.a.] : Cambridge University Press, 2010 Fyz.popis xxvi, 586 s. : il. ISBN 978-0-521-89556-9 (váz.) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografie a rejstřík Předmět.hesla počítačové modelování * počítačová věda * softwarové inženýrství Forma, žánr příručky Konspekt 004.9 - Speciální počítačové metody. Počítačová grafika MDT 004.94 * 004 * 004.41 * (035) Země vyd. Spojené státy americké Jazyk dok. angličtina URL Obsah Druh dok. Knihy 
Signatura Čár.kód Dislokace Volný výběr Info P-M 3149 3149295643 IN - Barilla Ing. pouze prezenčně P-M 3149 3149295772 IN - Fišer J. Mgr. pouze prezenčně P-M 3149 3149295771 sklad D Doba výp. 31 dní
Počet záznamů: 1