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