Formal Methods for Components and Objects
Subtitle: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)
Contributors: Frank S.de Boer (Editor); Marcello Bonsangue (Editor); Susanne Graf (Editor); Willem-Paul de Roever (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2003
Language: eng
Format: Paperback
Number of pages: 509
ISBN-13: 9783540203032
Subjects: Computer Programming; Object-oriented programming (C; Computers; Operating Systems - General; Component software; Computers - Languages / Programming; Miscellaneous Software; Computer Books: General; Formal methods (Computer science); Congresses; Programming - Software Development; Computers / Programming / Software Development; Object-oriented programming (Computer science); Programming Languages - General; Formal methods (Computer scien