Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Inbunden, Engelska, 2020

Av Corina S. Păsăreanu

1 249 kr

Slutsåld

Finns i fler format (1)


Produktinformation