Integrated Formal Methods :6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Lecture Notes in Computer Science

Integrated Formal Methods

Integrated Formal Methods :6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 22 June, 2007
Standard worldwide delivery by Mon, August 3 - Thu, August 6
Order within 0
Condition: NEW
$131.06
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Jim Davies

View All Books by Jim Davies
The Book of Guinness Advertising
The Book of Guinness Advertising
Jim Davies
$11.07 $26.75
Used
Add to basket
Using Z : Specification, Refinement, and Proof
Using Z : Specification, Refinement, and Proof
Jim Davies
$9.11 $52.14
Used
Add to basket
Riveted
Riveted
Jim Davies
$30.34
New
Add to basket
FM'99 - Formal Methods
FM'99 - Formal Methods
Jim Davies
$133.30
New
Add to basket
Engineering Agile Big-Data Systems
Engineering Agile Big-Data Systems
Jim Davies
$108.23 $123.02
New
Add to basket
Developments in Services of General Interest
Developments in Services of General Interest
Jim Davies
$126.94
New
Add to basket
FM'99 - Formal Methods
FM'99 - Formal Methods
Jim Davies
$133.33
New
Add to basket
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Jim Davies
$61.68
New
Add to basket
Developments in Services of General Interest
Developments in Services of General Interest
Jim Davies
$128.74
New
Add to basket
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies
$156.89
New
Add to basket

Description

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
See more

More Details

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