License single eBooks
Your results
Free text
ISBNs
Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break
Copyright years
From 1815 onwards
Collections and reference modules (selected)
Our most popular sets of eBooks
R0 collections
Reference modules
Subjects
SN’s own taxonomy
-
978-3-319-49052-62016, Edition 1Subjects: Software Engineering12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings€100