Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 2004, Proceedings

Formal Methods and Software Engineering( )
Editor: Davies, Jim
Schulte, Wolfram
Barnett, Mike
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-540-23841-6
Publication Date:Oct 2004
Publisher:Springer
Book Format:Paperback
List Price:USD $139.99
Book Description:

Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to...
More Description

Book Details
Pages:500
Detailed Subjects: Computers / Software Development & Engineering / General
Physical Dimensions (W X L X H):6.045 x 9.165 Inches
Book Weight:3.498 Pounds



Featured Books

Paradise Lost
Milton, John
Electronic book text:
Alice's Adventures in Wonderland
Carroll, Lewis
Paperback: $6.90
Animal Farm
Orwell, George
Paperback: $9.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.