- 10% rabatt på allt
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
AvVirgile Prevosto,Cristina Seceleanu
Engelska, 2023
652 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
556 kr
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden, 2024
798 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
2017739 kr
CyberSecurity in a DevOps Environment
Alessandra Bagnato, Cristina Seceleanu, Ana Rosa Cavalli, Wissam Mallouli, Dragos Truscan, Andrey Sadovykh
E-bok
20233 181 kr
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad, 2017
572 kr
Engineering of Computer-Based Systems
Cristina Seceleanu, Tiziana Margaria, Jan Kofron
E-bok
2023894 kr