Formálne metódy pre diskrétne systémy: Petriho siete a B-metóda

Bibliographic Details
Main Authors:	Korečko, Štefan, 1978- (Author), Hudák, Štefan, 1939- (Author)
Format:	Book
Language:	Slovak
Published:	V Košiciach Technická univerzita 2015
Edition:	1. vyd.
Subjects:	formálna verifikácia Formal verification Petriho siete Petri nets B-metóda monografie Monographs

Slovenská národná knižnica

Holdings details from Slovenská národná knižnica
Call Number:	snkSC 164359 snkSC 164359 D1
Copy 17A1155592 snkSC 164359 Available for in-library use only
Copy 17A1155593 snkSC 164359 D1 On Shelf