Book (01 Jan 2000)
Not available for sale
Out of stock
Invited speakers explore the use of mathematics in software engineering, legacy code, and challenges and results of offering formal verification capabilities for industry standard case tools. The other 19 papers cover development, structuring, algebraic approaches, verification, formal and informal notations, retrenchment, the theory and practice o
| ISBN: | 9780769508221 |
| Publisher: | IEEE Computer Society |
| Imprint: | IEEE Computer Society |
| Pub date: | 01 Jan 2000 |
| DEWEY: | 620.0028 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 209 |
| Weight: | -1g |
$0.07off
Engineering
Paperback
Published 01 Aug 2009
Save $0.07
$1.40off
In Pursuit of Zeta-3
Hardback
Published 23 Nov 2021
Save $1.40
$0.37off
Cool Engineering
Hardback
Published 04 Mar 2021
Save $0.37
$2.59off
The Story of the Solar System
Hardback
Published 26 Sep 2024
Save $2.59
$16.12off
Engineering Analysis
Paperback
Published 07 Oct 2024
Save $16.12
$3.92off
Before They Vanish
Hardback
Published 12 Nov 2024
Save $3.92
$28.84off
Unmaking the Bomb
Hardback
Published 07 Nov 2023
Save $28.84
$2.03off
The Science of Sewage
Paperback
Published 05 Sep 2024
Save $2.03
$7.03off
Wind Turbines
Hardback
Published 19 Dec 2024
Save $7.03
Agroforestry Practices
Paperback
Published 27 Aug 2024