Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Author: Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2003
Page: 512
ISBN: 3540203036,9783540203032
File Type: pdf
File Size: 4.6 MiB

Just click on START button on Telegram Bot