Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

Published in November 23, 2004, Springer

Formal Methods for Components and Objects

Change Cover

Contributions:	Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Language:	English
Edition:	1 edition
Format:	Paperback
Dimensions:	9.2 x 6.1 x 0.9 inches
Weight:	1.2 pounds
ISBN 10:	3540229426
ISBN 13:	9783540229421
Subject:	Computing and Information Technology Miscellaneous Software Computers Component software Programming - Software Development Computers - Languages / Programming Logic Design Computer Books: Languages Formal methods (Computer science) Computer Science Computers / Programming / Software Development Object-oriented programming (Computer science) Programming Languages - General Congresses