1997
Hardback (31 Jul 1997)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
| ISBN: | 9780412820502 |
| Publisher: | Springer US |
| Imprint: | Springer |
| Pub date: | 31 Jul 1997 |
| Edition: | 1997 |
| DEWEY: | 005.131 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 440 |
| Weight: | 772g |
| Height: | 239mm |
| Width: | 162mm |
| Spine width: | 28mm |
$3.28off
Paperback
Published 16 Mar 2022
Save $3.28
$7.49off
Hardback
Published 06 Sep 2023
Save $7.49
$3.93off
Paperback
Published 22 Nov 2023
Save $3.93
