Verification, Model Checking, and Abstract Interpretation
portes grátis
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Sankaranarayanan, Sriram; Shankaranarayanan, Krishna; Trivedi, Ashutosh
Springer International Publishing AG
02/2025
234
Mole
9783031826993
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Verification;Program Analysis;Model Checking;Formal Methods;Programming Languages;Automated Reasoning;Abstract Interpretation;Formal Verification
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
