Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures /
Saved in:
| Meeting name: | FMCO (Symposium (2nd : 2003 : Leiden, Netherlands) |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, 2004. |
| Description: | viii, 371 p. : fig., tab. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science ; 3188 Tutorial |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5531142 |
