Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)
Wolfgang Ahrendt
Booko found 2 book editions
Product filters
| Product |
Details
|
Price
|
New
|
Used
|
|---|---|---|---|---|
|
Feb, 2017
New: $169.00
Used: Click to Check
|
New: $169.00
Used: Click to Check
|
$169.00 | Click to Check | |
|
New: Being refreshed...
Used: Being refreshed...
|
New: Being refreshed...
Used: Being refreshed...
|
Being refreshed... | Being refreshed... |
Booko collects this information from user contributions and sources on the internet - it is not a definitive list of editions. Search Booko for other editions of Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science).
