عرض عادي عرض مارك عرض تدوب

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers / [edited by] Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede. - 1st ed. - New York : Springer, 2010. - 337p. : ill, ; 24 cm. - Lecture notes in computer science ; 6286 .

Includes bibliographical references and index..

ISBN: 9783642170706 3642170706

Subjects--Topical Terms:
Formal methods (Computer science)--Congresses.
Integrated circuits

Dewey Class. No.: 004.0151 / F O M