Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures
Format: paperback
ISBN:
9783540203032 (3540203036)
Publish date: October 9th 2003
Publisher: Springer
Pages no: 512
Edition language: English