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

Pasareanu, Corina S.

ISBN 10: 1681738546 ISBN 13: 9781681738543
Editore: Morgan & Claypool, 2020
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da suffolkbooks, Center moriches, NY, U.S.A.

Venditore AbeBooks dal 10 dicembre 2020

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 17,68
EUR 3,43 per la spedizione in U.S.A.

Quantità: 2 disponibili

Aggiungere al carrello