Paperback (01 May 1994)
Not available for sale
Out of stock
This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.
| ISBN: | 9780077079680 |
| Publisher: | McGraw-Hill |
| Imprint: | McGraw-Hill |
| Pub date: | 01 May 1994 |
| DEWEY: | 005.131 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 262 |
| Weight: | 5600g |
| Height: | 246mm |
| Width: | 189mm |
$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
$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
$50.82off
Usability Engineering
Paperback
Published 11 Nov 1994
Save $50.82