Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
- New York: Springer, 2004
- viii, 371 p.; : 24 cm.
- 3188 .
- Lecture notes incomputer science .
9783540229421 pbk
Computer software - Congresses Formal methods (Computer science) Object-Oriented programming Logic, Symbolic and mathematical Logic design Mathematical Logic and Formal Languages Engineering & Applied Sciences