Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)

Brand new: lowest price

AU $204.34

Free postage
  • Get it by Thu, 31 May - Mon, 18 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Invited Talks. - Programs as Paths: An Approach to Timing Constraint Analysis. - Model Based Code Verification. - Testing and Validation. - An AMBA-ARM7 Formal Verification Platform. - Formalization, Testing and Execution of a Use Case Diagram.