Paperback (24 Dec 2016)
Not available for sale
Out of stock
Deductive Software Verification - The KeY Book
| ISBN: | 9783319498133 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 24 Dec 2016 |
| Language: | English |
| Number of pages: | 736 |
| Weight: | 1015g |
| Height: | 234mm |
| Width: | 156mm |
$15.01off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.01
$9.72off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $9.72
$16.21off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.21
$4.79off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.79
$16.67off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $16.67
$71.80off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $71.80
$3.94off
Robert Read's How To Be A Progr...
Paperback
Published 02 Oct 2009
Save $3.94
$15.12off
The Staff Engineer's Path
Paperback
Published 30 Sep 2022
Save $15.12
$8.35off
Software Engineering
Paperback
Published 27 Aug 2015
Save $8.35