Boer, Ffrank S. de

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

004 / BOE

Powered by Koha