Paperback
Not available for sale
Out of stock
The stepwise refinement method postulates a system construction route that starts with some relatively high-level specification, goes through a number of provably correct developments steps, each of which replaces some declarative, non-executable (or merely inefficient) aspects of the specification by imperati executable constructs, and ends with a
| ISBN: | 9780387525594 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 808 |
| Weight: | -1g |
$2.17off
The Repair Shop
Hardback
Published 12 Oct 2023
Save $2.17
Lotus Domino Administration in ...
Paperback
Published 04 Sep 2000
$8.55off
Backup and Recovery
Paperback
Published 16 Jan 2007
Save $8.55
$2.42off
Home Repair & Improvement
Paperback
Published 17 Nov 2023
Save $2.42
$15.26off
Wiring Made Easy
Paperback
Published 29 May 2023
Save $15.26
$9.17off
Using Samba
Paperback
Published 30 Jan 2007
Save $9.17
Mike Meyers' CompTIA A+ Guide t...
Paperback
Published 16 Jan 2013
$12.93off
A Manager's Primer on E-Network...
Hardback
Published 31 Jan 2003
Save $12.93
$2.63off
Troubleshooting with SNMP and A...
Paperback
Published 01 Sep 2000
Save $2.63
Admin911: Windows 2000 Registry
Paperback
Published 16 Oct 2000