On the specification and verification of the PCR parallel programming pattern in TLA+
Incluye bibliografía y anexos.
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | masterThesis |
| 言語: | 英語 |
| 出版事項: |
2021
|
| 主題: | |
| オンライン･アクセス: | http://hdl.handle.net/20.500.11968/4555 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: On the specification and verification of the PCR parallel programming pattern in TLA+
- On the specification and verification of the PCR parallel programming pattern in TLA+
- On the specification and verification of the PCR parallel programming pattern in TLA+
- Análisis de la adopción y uso de las revisiones de software
- Cómo integrar blockchain en una arquitectura de software
- Duphly
- Identificación de Deuda Técnica en instancias de reflexión de proyectos ágiles