ftsrg-edu/lecture-notes ftsrg-edu/lecture-notes

  • Stars
    star
    14
  • Rank 1,397,658 (Top 29 %)
  • Language
  • Created almost 10 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ftsrg-edu/lecture-notes
github

ftsrg-edu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Some lecture notes of the research group

More Repositories

1

swsv-labs

Lab materials for the Software and Systems Verification (VIMIMA01) course
C#
29
star
2

thesis-template-markdown

Thesis template in Markdown
HTML
15
star
3

thesis-template-word

Thesis template in Microsoft Word
12
star
4

ndp

Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet
TeX
4
star
5

ivt-lab

Lab exercises for the Integration and Verification Techniques course
Java
2
star
6

logic-workshop

Logic and DSL demo for students
Java
1
star
7

toolbox

Unix, Git és IDE alapok és feladatok
C
1
star
8

mdsd-examples

Projects for a course about Model-Based Systems Design
Java
1
star
9

avt-labs

Lab materials for the Advanced Verification Techniques (VIMIMA29) course
Java
1
star