Název	Formal aspects of computing
Klíč. název	Formal aspects of computing
Klíč. název	Formal aspects of computing (Internet)
Vydavatel	London : Springer, 1989-
ISSN	0934-5043 print
ISSN	1433-299X online
Obor	výpočetní technika vt - PSH
Odběr	ABD100 [i]: 1995
Online	ABA007 [i]: 1997-2014
Online	ABA009 [i]: 1997-2013
Online	ABA013 [i]: 1997-2019

SFX: JIB NTK SKC EZB NTK MARC