Integrated Formal Methods Programming and Software Engineering

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

2007th edition

Paperback (22 Jun 2007)

Save $2.05

  • RRP $115.66
  • $113.61
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783540732099
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2007th edition
Language: English
Number of pages: 662
Weight: 1015g
Height: 234mm
Width: 156mm
Spine width: 34mm