Verifikácia konkurentných programov napísaných v jazyku C
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Manuscrit Livre |
| Langue: | slovaque |
| Publié: |
Bratislava :
STU v Bratislave FEI,
2011
|
| Sujets: | |
| Accès en ligne: | VAIS |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: 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