Location & Availability for: Verified Software : Theories, Tools, and

 Staff view

You must be logged in to Tag Records

Verified Software [electronic resource] : Theories, Tools, and Experiments /

Arie Gurfinkel.

Book Cover
Main Author: Gurfinkel, Arie.
Other Names: Seshia, Sanjit A.
Published: [S.l.] : Springer International Publishing Switzerland, 2016.
Edition: 1st ed.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Verified Software : Theories, Tools, and