Number of the records: 1
Title statement Automated theorem proving in software engeneering / Johann M. Schumann ; foreword by Donald Loveland Personal name Schumann, Johann M., 1960- (author) Issue data Berlin ; Heidelberg : Springer, 2001 Phys.des. xv, 228 s. ISBN 3540679898 Note Obsahuje literaturu a rejstřík Subj. Headings softwarové inženýrství software engineering * software software UDC 004.41 , 004.42 Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/222 (PřF) 3134015795 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1