Tools for Design, Implementation and Verification of Emerging Information Technologies
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , , |
| Formato: | eBook |
| Idioma: | inglés |
| Publicado: |
Springer Nature,
2023.
|
| Subjects: | |
| Acceso en liña: | Access eBook |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: Tools for Design, Implementation and Verification of Emerging Information Technologies
- Tools for Design, Implementation and Verification of Emerging Information Technologies
- Automated Technology for Verification and Analysis
- Automated Technology for Verification and Analysis
- Automated Technology for Verification and Analysis
- Automated Technology for Verification and Analysis
- Runtime Verification