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)

369 kr

Skickas inom 7-10 vardagar

Produktinformation

Utgivningsdatum2020-05-13
Mått191 x 235 x undefined mm
SpråkEngelska
SerieSynthesis Lectures on Software Engineering
FörlagMorgan & Claypool Publishers
EAN9781681738567

Du kanske också är intresserad av

Symbolic Execution and Quantitative Reasoning

Symbolic Execution and Quantitative Reasoning

Corina S. Păsăreanu

749 kr

Symbolic Execution and Quantitative Reasoning

Symbolic Execution and Quantitative Reasoning

Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu, Corina S. P¿s¿reanu

369 kr

Java Software Development with Event B

Java Software Development with Event B

Néstor Cataño Collazos, Nestor Catano Collazos, Néstor Cataño

409 kr

Java Software Development with Event B

Java Software Development with Event B

Néstor Cataño Collazos

909 kr

Hard Problems in Software Testing

Hard Problems in Software Testing

Scott Tilley, Brianna Floss

479 kr

Testing iOS Apps with HadoopUnit

Testing iOS Apps with HadoopUnit

Scott Tilley, Krissada Dechokul

479 kr

Testing iOS Apps with HadoopUnit

Testing iOS Apps with HadoopUnit

Scott Tilley, Krissada Dechokul

1 049 kr

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

1 179 kr

Model-Driven Software Engineering in Practice, Second Edition

Model-Driven Software Engineering in Practice, Second Edition

Marco Brambilla, Jordi Cabot, Manuel Wimmer

859 kr

Java Software Development with Event B

Java Software Development with Event B

Néstor Cataño Collazos

1 429 kr

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it