Erinevus lehekülje "Software Synthesis and Verification" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
P
11. rida: 11. rida:
 
Lectures: Wednesdays 14:00, ICT-A1 <br>
 
Lectures: Wednesdays 14:00, ICT-A1 <br>
 
Labs: Wednesdays 16:00, ICT-401
 
Labs: Wednesdays 16:00, ICT-401
 
  
 
==News 2015==
 
==News 2015==

Redaktsioon: 4. veebruar 2015, kell 13:08

Course code: ITI0130, ITI8530
Link: http://courses.cs.ttu.ee/pages/ITI0130

Lecturer: prof. Jüri Vain
Contact: juri.vain ätt ttu.ee, ICT-418

Previous courses: 2013

Time and place

Lectures: Wednesdays 14:00, ICT-A1
Labs: Wednesdays 16:00, ICT-401

News 2015

Lecture notes


Labs


Resources