Formal Methods and Software Engineering :15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings - Lecture Notes in Computer Science

Formal Methods and Software Engineering

Formal Methods and Software Engineering :15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 11 September, 2013
Standard worldwide delivery by Tue, July 7 - Fri, July 10
Order within 0
Condition: NEW
$71.73
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Jing Sun

View All Books by Jing Sun
Contemporary Urban Youth Culture in China
Contemporary Urban Youth Culture in China
Jing Sun
$58.24
New
Add to basket
The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs
The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs
Jing Sun
$129.57
New
Add to basket
Contemporary Urban Youth Culture in China
Contemporary Urban Youth Culture in China
Jing Sun
$120.74
New
Add to basket
Viral Hepatitis in Asia and the Pacific
Viral Hepatitis in Asia and the Pacific
Jing Sun
$140.30 $178.76
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Jing Sun
$61.71
New
Add to basket
The United States and China in the Era of Global Transformations
The United States and China in the Era of Global Transformations
Jing Sun
$37.81
New
Add to basket
Control Engineering
Control Engineering
Jing Sun
$62.11 $77.37
New
Add to basket

Description

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
See more

More Details

Type Book
ISBN13 9783642412011
ISBN10 3642412017
Number Of Pages 466
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2013 ed.
See More +