Verifikácia konkurentných programov napísaných v jazyku C
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Manoscritto Libro |
| Lingua: | slovacco |
| Pubblicazione: |
Bratislava :
STU v Bratislave FEI,
2011
|
| Soggetti: | |
| Accesso online: | VAIS |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Verifikácia konkurentných programov napísaných v jazyku C
- Verifikácia konkurentných programov napísaných v jazyku JAVA
- Extending and Utilizing the Software and Systems Process Engineering Metamodel with Ontology
- Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
- Vizuálne prostredie paralelného programovania v jazyku Java
- E-learningový systém pre výučbu jazyka C
- Identifikácia programov z nesekvenčného správania