2007
Paperback (07 Nov 2007)
Save $20.35
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
| ISBN: | 9783540766483 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 07 Nov 2007 |
| Edition: | 2007 |
| DEWEY: | 005.1 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 386 |
| Weight: | 611g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 20mm |
$3.67off
Paperback
Published 16 Mar 2022
Save $3.67
$7.77off
Hardback
Published 06 Sep 2023
Save $7.77
$4.12off
Paperback
Published 22 Nov 2023
Save $4.12
