2006
Paperback (24 Oct 2006)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.
| ISBN: | 9783540474609 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 24 Oct 2006 |
| Edition: | 2006 |
| DEWEY: | 005.131 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 778 |
| Weight: | 2420g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 40mm |
$3.69off
Paperback
Published 16 Mar 2022
Save $3.69
$7.82off
Hardback
Published 06 Sep 2023
Save $7.82
$4.15off
Paperback
Published 22 Nov 2023
Save $4.15
