Název	Formal methods in system design
Klíč. název	Formal methods in system design
Klíč. název	Formal methods in system design (Dordrecht. Online)
Vydavatel	Dordrecht : Kluwer Academic Publishers, 1992-
ISSN	0925-9856 print
ISSN	1572-8102 online
Obor	výpočetní technika vt - PSH
Odběr	ABD100 [i]: 1992, 1994-1996
Odběr	ABD170 [i]: 2004-2008
Odběr	BOD030 [i]: 2004-2008
Online	ABA007 [i]: 1997-2014
Online	ABA009 [i]: 1997-2013
Online	ABA013 [i]: 1997-2019

SFX: JIB NTK SKC EZB NTK MARC