Number of the records: 1
Deductive program design
Title statement Deductive program design / edited by Manfred Broy Main entry-corp. Severoatlantická aliance. Scientific Affairs Division (author) Issue data Berlin : Springer, 1996 Phys.des. VIII, 467 s. ISBN 3540609474 Edition NATO ASI series. Series F, Computer and systems sciences; vol. 152 Another responsib. Broy, Manfred, 1949- (editor) Another responsib. NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany) Subj. Headings analýza dat data analysis * hardware computer hardware * matematické modelování mathematical modeling * počítačové modelování computer modeling * objektově orientované programování object-oriented programming * strukturované programování structured programming * elektronické systémy electronic systems * zpracování dat data processing UDC 004 , 004.42 , 005 , 510.5 Country Bez místa Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/003 (PřF) 3134006146 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1