Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
By: Boer, Ffrank S. de.
Contributor(s): Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de.
Material type:
BookSeries: 3188. Lecture notes incomputer science.Publisher: New York: Springer, 2004Description: viii, 371 p.; : 24 cm.ISBN: 9783540229421 .Subject(s): Computer software - Congresses | Formal methods (Computer science) | Object-Oriented programming | Logic, Symbolic and mathematical | Logic design | Mathematical Logic and Formal Languages | Engineering & Applied SciencesDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 BOE (Browse shelf) | Available | 011502 |
There are no comments for this item.