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)

Häftad

359 kr

Skickas inom 7-10 vardagar

Produktinformation

Mer från samma författare

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

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

739 kr

Computer Aided Verification

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

729 kr

Computer Aided Verification

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

729 kr

Model Checking Software

Model Checking Software

Corina S Pasareanu, Corina S. Pasareanu

729 kr

Formal Aspects of Component Software

Formal Aspects of Component Software

Corina S Pasareanu, Gwen Salaün, Corina S. Pasareanu

679 kr

Mer från samma serie

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

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, Nestor Catano Collazos, Néstor Cataño

399 kr

Du kanske också är intresserad av

Symbolic Execution and Quantitative Reasoning

Symbolic Execution and Quantitative Reasoning

Corina S. Păsăreanu

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

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

Computer Aided Verification

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

729 kr

Computer Aided Verification

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

729 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

909 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 049 kr

Tillhör följande kategorier