Del 14066
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
AvVirgile Prevosto,Cristina Seceleanu
Engelska, 2023
634 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
534 kr
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad
550 kr
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden
764 kr
CyberSecurity in a DevOps Environment
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
Häftad
2 397 kr
Del 14390
CyberSecurity in a DevOps Environment
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
Inbunden
2 248 kr
- Signerad!
SIGNERAD - Där färgen får styra : En berättelse i akvarell
Maximilian Svensson, Linda Newnham
Inbunden
319 kr
- Signerad!
- Signerad!