Formal models : regulation and reduction : dissertation thesis

Saved in:
Bibliographic Details
Main Author: Masopust, Tomáš, 1978- (Dissertant) 
Corporate Author: Vysoké učení technické v Brně. Fakulta informačních technologií  
Format: Book
Language:English
Published: Brno: Faculty of Information Technology, Brno University of Technology, 2007
Genre/form:monografie
ISBN:978-80-214-3550-6
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Status Sublibrary Description Location LCC Call number Old Call number
Regular loan
NTK collection Closed Stack K 63872