-----nas  22-----zu 4500
001 SKVPK0002231
003 CZ-VPK
005 20100726125550.0
008 210326u1992uuuu||||| | |||  ||   |||||||
022   $a0925-9856$bprint
022   $a1572-8102$bonline
040   $aABA013$bcze
222  0$aFormal methods in system design
222  0$aFormal methods in system design$b(Dordrecht. Online)
245 00$aFormal methods in system design
260   $aDordrecht :$bKluwer Academic Publishers,$c1992-
650 07$avýpočetní technika$xvt$2psh
910   $aABD100$r1992, 1994-1996
910   $aABD170$r2004-2008
910   $aBOD030$r2004-2008
990   $aABA007$r1997-2014
990   $aABA009$r1997-2013
990   $aABA013$r1997-2019