Verifikácia konkurentných programov napísaných v jazyku C
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Manuscrito Libro |
| Lenguaje: | eslovaco |
| Publicado: |
Bratislava :
STU v Bratislave FEI,
2011
|
| Materias: | |
| Acceso en línea: | VAIS |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares: 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