On the logic of TLA+

Bibliographic Details
Main Author:	Merz, Stephan (Author)
Format:	Article
Language:	Slovak English
Subjects:	jazyky špecifikačné TLA+ (jazyk) > logika články z novín a časopisov

Description
Physical Description:	Fotogr., tab.
Bibliography:	Bibliogr. odkazy Res. angl. Biogr. údaje
ISSN:	1335-9150

Similar Items