Verifikácia konkurentných programov napísaných v jazyku JAVA
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Manuscript Book |
| Language: | Slovak |
| Published: |
Bratislava :
STU v Bratislave FEI,
2012
|
| 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 JAVA
- Verifikácia konkurentných programov napísaných v jazyku C
- Vizuálne prostredie paralelného programovania v jazyku Java
- Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
- Vývoj manažérskej aplikácie pre desktopovú platformu v jazyku JAVA
- Vývoj webaplikácií v jazyku JavaFX
- Testovanie, diagnostika a verifikácia digitálnych systémov