Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)

Pasareanu, Corina S.

ISBN 10: 1681738562 ISBN 13: 9781681738567
Edité par Morgan & Claypool, 2020
Langue: anglais
Etat : Occasion - Assez bon Couverture rigide

Vendu par suffolkbooks, Center moriches, NY, Etats-Unis

Vendeur AbeBooks depuis 10 décembre 2020

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Assez bon

Prix:
EUR 17,83
Expédition à EUR 3,46
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier