Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

separační logika

Klíčová slova abecedně | Klíčová slova dle četnosti

Použitie separačnej logiky pre dokazovanie korektnosti programov
 (Viliam Majerčík)

2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://theses.cz/id//vt3khe// | Informatika / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Použitie separačnej logiky pre dokazovanie korektnosti programov
 (Viliam Majerčík)

2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://theses.cz/id//vt3khe// | Informatika / | Práce na příbuzné téma

Použitie separačnej logiky pre dokazovanie korektnosti programov
 (Viliam Majerčík)

2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://theses.cz/id//vt3khe// | Informatika / | Práce na příbuzné téma

Použitie separačnej logiky pre dokazovanie korektnosti programov
 (Viliam Majerčík)

2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://theses.cz/id//vt3khe// | Informatika / | Práce na příbuzné téma