Metadata
Author: tmClass
Data
Bulgarian[bg]
Въвеждащи и курсове за напреднали за интегриране на компютърни системи и основни курсове, свързани с прилагане на формална технология за верификация
Czech[cs]
Úvodní a pokročilé kurzy o integraci počítačových systémů a obecné kurzy vztahující se k aplikaci formální ověřovací technologie
Danish[da]
Indledende og avancerede kurser vedrørende integration af computersystemer og generelle kurser vedrørende anvendelse af formel verificeringsteknologi
German[de]
Kurse für Anfänger und Fortgeschrittene in Bezug auf die Integration von Computersystemen und allgemeine Kurse in Bezug auf die Anwendung formaler Verifizierungstechniken
Greek[el]
Εισαγωγικά και προχωρημένα μαθήματα σε σχέση με ολοκλήρωση συστημάτων ηλεκτρονικών υπολογιστών και γενικά μαθήματα σε σχέση με εφαρμογή επίσημης τεχνολογίας επαλήθευσης
English[en]
Introductory and advanced courses on integration of computer systems and general courses related to the application of formal verification technology
Spanish[es]
Cursos de presentación y avanzados sobre la integración de sistemas informáticos y cursos en general en relación con la aplicación de tecnología de verificación
Estonian[et]
Arvutisüsteemide integreerimisega seotud sissejuhatavad ja edasijõudnute kursused ning ametliku verifitseerimise tehnoloogia rakendamisega seotud üldkursused
Finnish[fi]
Tietokonejärjestelmien integrointiin liittyvät johdanto- ja edistyneet kurssit ja muodollisen todentamistekniikan soveltamiseen liittyvät yleiset kurssit
French[fr]
Cours d'initiation et de perfectionnement en matière d'intégration de systèmes informatiques et cours généraux en matière d'application d'une technologie de vérification formelle
Croatian[hr]
Uvodni i napredni tečajevi o integraciji računalnih sustava i opći tečajevi u vezi s primjenom formalne tehnologije za verifikaciju
Hungarian[hu]
Bevezető és haladó tanfolyamok a számítógépes rendszerek integrálásával kapcsolatban, valamint a hivatalos tanúsítási technológia alkalmazásával kapcsolatos általános tanfolyamok
Italian[it]
Corsi introduttivi e avanzati sull'integrazione di sistemi informatici e corsi generali relativi all'applicazione di tecnologia di verifica formale
Lithuanian[lt]
Įžanginiai ir aukštesnio lygio kursai, susiję su kompiuterių sistemų integravimu, ir bendrieji kursai, susiję su formalaus tikrinimo technologijos taikymu
Latvian[lv]
Ievadkursi un kursi ar iepriekšējām zināšanām par datorsistēmu integrēšanu un vispārējie kursi saistībā ar formālās pārbaudes tehnoloģijas izmantošanu
Maltese[mt]
Korsijiet introduttorji u avvanzati dwar l-integrazzjoni ta' sistemi tal-kompjuter u korsijiet ġenerali relatati mal-applikazzjoni ta' teknoloġija ta' verifika formali
Dutch[nl]
Inleidende en geavanceerde cursussen op het gebied van integratie van computersystemen en algemene cursussen met betrekking tot de toepassing van formele verificatietechnologieën
Polish[pl]
Kursy dla początkujących i zaawansowanych dotyczące integrowania systemów komputerowych i kursy ogólne związane ze stosowaniem technologii do weryfikacji formalnej
Portuguese[pt]
Cursos de iniciação e avançados em integração de sistemas informáticos e cursos gerais relacionados com a aplicação de tecnologias de verificação formal
Romanian[ro]
Cursuri de introducere şi avansate privind integrarea sistemelor de calculator şi cursuri generale referitoare la aplicarea tehnologiei pentru verificare formală
Slovak[sk]
Základné a pokročilé kurzy v oblasti integrácie počítačových systémov a všeobecné kurzy v oblasti aplikácie formálnych overovacích technológií
Slovenian[sl]
Uvodni in nadaljevalni tečaji s področja integracije računalniških sistemov in splošni tečaji v zvezi z aplikacijo tehnologije za formalno preverjanje
Swedish[sv]
Inledande och avancerade kurser om integrering av datasystem och allmänna kurser relaterade till användandet av konventionell systemteknologi