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

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
29. rida: 29. rida:
 
   
 
   
  
−
==Lisamaterjalid==
+
==Resources==
−
* [http://www.learnprolognow.org/lpnpage.php?pageid=top Learn Prolog Now]
+
* [http://www.fmeurope.org/ Formal Methods Europe]
−
* [http://www.youtube.com/watch?v=09zlcS49zL0 Web Testing with Logic Programming - Daniel Gregoire]
 

Redaktsioon: 4. veebruar 2015, kell 12:59

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

Pärit leheküljelt "http://courses.cs.taltech.ee/w/index.php?title=Software_Synthesis_and_Verification&oldid=1360"