Paperback (01 Oct 1992)
Not available for sale
Out of stock
This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development. Features
rigorous approach, assuming no knowledge of logic and discrete maths
covers modern topics like concurrency and fairness
includes many exercises as an aid to understanding, plus solutions to selected exercises within the book
| ISBN: | 9780201416084 |
| Publisher: | Pearson Education |
| Imprint: | Addison-Wesley |
| Pub date: | 01 Oct 1992 |
| DEWEY: | 005.14 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 312 |
| Weight: | 500g |
| Height: | 156mm |
| Width: | 231mm |
| Spine width: | 18mm |
$16.64off
Async Rust
Paperback
Published 28 Nov 2024
Save $16.64
$16.10off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.10
$12.73off
Learning Microsoft Power Apps
Paperback
Published 30 Jul 2024
Save $12.73
$14.31off
Head First C#
Paperback
Published 26 Jul 2024
Save $14.31
$4.75off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.75
Coding for Beginners in Easy St...
Paperback
Published 27 Nov 2024
Every Bit Counts
Paperback
Published 13 Dec 2024
$16.67off
Head First JavaScript Programming
Paperback
Published 03 Sep 2024
Save $16.67
$18.47off
Powerful Python
Paperback
Published 22 Nov 2024
Save $18.47
$7.30off
Core Java. Volume II Advanced F...
Paperback
Published 02 Sep 2024
Save $7.30