Verifikácia konkurentných programov napísaných v jazyku JAVA

Saved in:

Bibliographic Details
Main Author:	Šajtlava, Igor, 1987- (Author)
Other Authors:	Fogel, Jaroslav, 1945- (Thesis advisor)
Format:	Manuscript Book
Language:	Slovak
Published:	Bratislava : STU v Bratislave FEI, 2012
Subjects:	Applied Infromatics model checking verifikácia
Online Access:	VAIS
Tags:	Add Tag No Tags, Be the first to tag this record!

View in STU Opac

Internet

VAIS