2002
Paperback (17 Jul 2002)
Save $4.15
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
| ISBN: | 9783540439158 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 17 Jul 2002 |
| Edition: | 2002 |
| DEWEY: | 005.15 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 265 |
| Weight: | 880g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 14mm |
Self-Sovereign Identity
Paperback
Published 07 Jul 2021
$12.12off
Deep Learning Cookbook
Paperback
Published 05 Jun 2018
Save $12.12
$6.69off
Git Pocket Guide
Paperback
Published 09 Aug 2013
Save $6.69
$19.84off
Policy as Code
Paperback
Published 12 Jul 2024
Save $19.84
$10.27off
The Engineering Leader
Paperback
Published 30 Apr 2024
Save $10.27
Sustainability in Digital Trans...
Paperback
Published 29 Aug 2024
$2.93off
Buildings and Semantics
Paperback
Published 19 Dec 2024
Save $2.93
Nonfunctional Requirements in M...
Paperback
Published 09 Oct 2024
Coding Android Apps
Hardback
Published 22 Aug 2024
Blockchain Technology in the Au...
Hardback
Published 30 Oct 2024