Application of [pí]-calculus for software process formalization

dc.contributor.author	Szturc, Roman	en
dc.contributor.author	Vondrák, Ivo	en
dc.contributor.author	Kružel, Marcel	en
dc.date.accessioned	2006-04-19T20:18:10Z
dc.date.available	2006-04-19T20:18:10Z
dc.date.issued	1999	en
dc.identifier.citation	Sborník vědeckých prací Vysoké školy báňské - Technické univerzity Ostrava. Řada elektrotechnická. 1999, roč. 5, č. 1, s. 33-42.	en
dc.identifier.issn	1210-048X	en
dc.identifier.uri	http://hdl.handle.net/10084/31593
dc.format.extent	307610 bytes	cs
dc.format.mimetype	application/pdf	cs
dc.language.iso	en	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	en
dc.relation.ispartofseries	Sborník vědeckých prací Vysoké školy báňské - Technické univerzity Ostrava. Řada elektrotechnická	en
dc.rights	© Vysoká škola báňská-Technická Univerzita Ostrava	cs
dc.title	Application of [pí]-calculus for software process formalization	en
dc.title.alternative	Použití [pí]-kalkulu pro formalizaci softwarového procesu	en
dc.type	article	en
dc.rights.access	restrictedAccess
dc.type.version	publishedVersion	cs
dc.type.status	Peer-reviewed	cs

Sborník vědeckých prací Vysoké školy báňské - Technické univerzity Ostrava / Transactions of the VŠB - Technical University of Ostrava [3497]
Kolekce obsahuje bibliografické záznamy článků ze všech řad Sborníku vědeckých prací VŠB-TUO (1949-1950, 1955-do současnosti). Naskenované plné texty článků jsou postupně doplňovány k záznamům. Přístup k plným textům je pouze pro uživatele z VŠB-TUO na základě osobní autorizace.