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

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering) By Corina S. Păsăreanu Cover Image
$49.95
Sorry, Currently unavailable or backordered


Product Details
ISBN: 9781681738567
ISBN-10: 1681738562
Publisher: Morgan & Claypool
Publication Date: May 13th, 2020
Pages: 75
Language: English
Series: Synthesis Lectures on Software Engineering