Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Title:

Author:

Beckert, Bernhard. editor.

ISBN:

9783642358876

Physical Description:

X, 356 p. 129 illus. online resource.

Series:

Lecture Notes in Computer Science, 7542

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Online Library	E-Book	334077-1001	ONLINE(334077.1)	Searching... Unknown	Searching... Unavailable