Del 14066
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
AvVirgile Prevosto,Cristina Seceleanu
Engelska, 2023
625 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Häftad, 2025
544 kr
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden, 2024
778 kr
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad, 2017
561 kr
CyberSecurity in a DevOps Environment
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
Häftad, 2024
2 442 kr
Del 14390
Engineering of Computer-Based Systems
Jan Kofroň, Tiziana Margaria, Cristina Seceleanu
Häftad, 2023
703 kr
CyberSecurity in a DevOps Environment
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
Inbunden, 2023
2 216 kr
- -19%
- -22%
Del 3
- Nyhet
Del 2