Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7253)
von:
Farhad Arbab
·
Peter Csaba Ölveczky
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-35742-8
ISBN-10: 3-642-35742-3
Springer
· 2012