Metodika programování - automatická verifikace programu

Saved in:
Bibliographic Details
Main Author: Duľová, Marie (Dissertant)
Other Authors: Račanský, Václav, 1948- (Thesis advisor)
Format: Thesis Manuscript
Language:Czech
Published: 1979
Subjects:
Cover Image
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
In house loan CLOSED STACKS
Faculty of Science ÚK sklad K-2237 3145147756