Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
--:--
 
 List of theses
 
 
 
 
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Model Checking of Code and Component Specifications 2006/2007 diploma thesis I2 prof. Ing. František Plášil, DrSc.   02.05.2006 Ne Katedra softwarového inženýrství (32-KSI) MFF
Results 1-1 of 1 1
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html