Počet záznamů: 1
Údaje o názvu Automated theorem proving in software engeneering / Johann M. Schumann ; foreword by Donald Loveland Osobní jméno Schumann, Johann M., 1960- (autor) Vyd.údaje Berlin ; Heidelberg : Springer, 2001 Fyz.popis xv, 228 s. ISBN 3540679898 Poznámka Obsahuje literaturu a rejstřík Předmět.hesla softwarové inženýrství software engineering * software software MDT 004.41 , 004.42 Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/222 (PřF) 3134015795 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1