Verifikácia konkurentných programov napísaných v jazyku C
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Manuscript Book |
| Language: | Slovak |
| Published: |
Bratislava :
STU v Bratislave FEI,
2011
|
| Subjects: | |
| Online Access: | VAIS |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: 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