GitHub - dev-11/ORSZ: ELTE - IK, Osztott rendszerek szintezise tetelkidolgozas · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
01_tetel.pdf		01_tetel.pdf
01_tetel.tex		01_tetel.tex
02_tetel.pdf		02_tetel.pdf
02_tetel.tex		02_tetel.tex
03_tetel.pdf		03_tetel.pdf
03_tetel.tex		03_tetel.tex
04_tetel.pdf		04_tetel.pdf
04_tetel.tex		04_tetel.tex
05_tetel.pdf		05_tetel.pdf
05_tetel.tex		05_tetel.tex
06_tetel.pdf		06_tetel.pdf
06_tetel.tex		06_tetel.tex
07_tetel.pdf		07_tetel.pdf
07_tetel.tex		07_tetel.tex
08_tetel.pdf		08_tetel.pdf
08_tetel.tex		08_tetel.tex
09_tetel.pdf		09_tetel.pdf
09_tetel.tex		09_tetel.tex
2_zh (megoldva).pdf		2_zh (megoldva).pdf
2_zh (megoldva).tex		2_zh (megoldva).tex
beugrok.pdf		beugrok.pdf
beugrok.tex		beugrok.tex
cheat_sheet.pdf		cheat_sheet.pdf
cheat_sheet.tex		cheat_sheet.tex

About

ELTE - IK, Osztott rendszerek szintezise tetelkidolgozas

formal-verification elte ik elte-ik

0 stars

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

TeX 100.0%