The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Edició: | 1st ed. 2024. |
| Col·lecció: | Lecture Notes in Computer Science,
14780 |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-66676-6 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Sistema fora de servei per tasques de manteniment
El catàleg està fora de servei temporalment per tasques de manteniment
La informació de disponibilitat dels exemplars no està disponible en aquests moments, sentim les inconveniències: