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

Download

FM'99 - Formal Methods Vol. I

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

FM'99 - Formal Methods( )
Editor: Wing, Jeannette M.
Woodcook, Jim
Davies, Jim
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-540-66587-8
Publication Date:Sep 1999
Publisher:Springer
Book Format:Paperback
List Price:USD $169.99
Book Description:

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM'99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial...
More Description

Book Details
Pages:940
Detailed Subjects: Computers / Software Development & Engineering / General
Computers / General
Computers / Software Development & Engineering / Systems Analysis & Design
Physical Dimensions (W X L X H):6.045 x 9.165 Inches
Book Weight:3.139 Pounds



Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.