• Znanost
  • Algoritmi za avtomatsko tvorbo statičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL
 
28. 11. 2005

Algoritmi za avtomatsko tvorbo statičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL

Razpisana: 28. 11. 2005 
Dodeljena: 
Zagovarjana: 
Študent:

Opis naloge:

Zaželjena znanja: SDL, C++, Java