2013
Paperback (12 Sep 2013)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
| ISBN: | 9783642405600 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 12 Sep 2013 |
| Edition: | 2013 |
| DEWEY: | 004.0151 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 321 |
| Weight: | 5153g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 18mm |
$15.01off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.01
$9.72off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $9.72
$7.21off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.21
$13.12off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.12
$16.21off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.21
$4.79off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.79
$18.28off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $18.28
$16.67off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $16.67
$71.80off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $71.80