Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Häftad, Engelska, 2020

Av Corina S. Păsăreanu

749 kr

Slutsåld

Finns i fler format (1)

359 kr

Skickas inom 10-15 vardagar

Produktinformation

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

Tillhör följande kategorier

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

Du kanske också är intresserad av

Symbolic Execution and Quantitative Reasoning

Symbolic Execution and Quantitative Reasoning

Corina S. Păsăreanu

1 239 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

359 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

399 kr

Java Software Development with Event B

Java Software Development with Event B

Néstor Cataño Collazos

899 kr

Hard Problems in Software Testing

Hard Problems in Software Testing

Scott Tilley, Brianna Floss

469 kr

Testing iOS Apps with HadoopUnit

Testing iOS Apps with HadoopUnit

Scott Tilley, Krissada Dechokul

469 kr

Testing iOS Apps with HadoopUnit

Testing iOS Apps with HadoopUnit

Scott Tilley, Krissada Dechokul

1 039 kr

Model-Driven Software Engineering in Practice, Second Edition

Model-Driven Software Engineering in Practice, Second Edition

Marco Brambilla, Jordi Cabot, Manuel Wimmer

849 kr

Java Software Development with Event B

Java Software Development with Event B

Néstor Cataño Collazos

1 419 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 169 kr