2005
Paperback (27 Oct 2005)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more.
| ISBN: | 9783540297970 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 27 Oct 2005 |
| Edition: | 2005 |
| DEWEY: | 005.131 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 496 |
| Weight: | 1580g |
| Height: | 279mm |
| Width: | 216mm |
| Spine width: | 26mm |
$14.55off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $14.55
$9.65off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $9.65
$7.15off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.15
$13.03off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.03
$16.10off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.10
$4.75off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.75
$17.89off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $17.89
$16.26off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $16.26
$71.28off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $71.28