Showing items related by title, author, creator and subject.

• Párhuzamos algoritmusmodellek 

  Herendi Tamás; Nagy Benedek

• Formális nyelvek és automaták 

  Király Roland

• Hardver- és szoftverrendszerek verifikációja 

  Ésik Zoltán; Gombás Éva; Németh L. Zoltán