Formal Methods and Software Engineering :9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Lecture Notes in Computer Science

Formal Methods and Software Engineering

Formal Methods and Software Engineering :9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Lecture Notes in Computer Science

(Author) (Author) (Author)
paperback
Published: 7 November, 2007
Standard worldwide delivery by Wed, August 12 - Mon, August 17
Order within 0
Condition: NEW
$71.39
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Michael Butler

View All Books by Michael Butler
Living Language: Language, Power & Identity
Living Language: Language, Power & Identity
Michael Butler
$8.76 $12.02
Used
Add to basket
Driveshaft
Driveshaft
Michael Butler
$21.47
New
Add to basket
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler
$71.55
New
Add to basket
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler
$71.59
New
Add to basket
Rodin User's Handbook
Rodin User's Handbook
Michael Butler
$29.25
New
Add to basket
1040 Impact Christmas Edition
1040 Impact Christmas Edition
Michael Butler
$7.86
New
Add to basket
Integrated Formal Methods
Integrated Formal Methods
Michael Butler
$62.06
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael Butler
$61.84
New
Add to basket
Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
Michael Butler
$70.95
New
Add to basket
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Michael Butler
$71.50
New
Add to basket

Description

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 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.
See more

More Details

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