Severoatlantická aliance. Scientific Affairs Division
Deductive program design / edited by Manfred Broy. -- Berlin : Springer, 1996. -- VIII, 467 s. -- (NATO ASI series. Series F, Computer and systems sciences; vol. 152). -- ISBN : 3540609474.
Broy, Manfred, 1949-. NATO Advanced Study Institute on Deductive Program Design Marktoberdorf, Germany)
analýza dat. hardware. matematické modelování. počítačové modelování. objektově orientované programování. strukturované programování. elektronické systémy. zpracování dat
004. 004.42. 005. 510.5