ISBN: 9783319153162
TITLE: Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers : 8997
AUTHOR: Ivan Lanese
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 18 Feb 2015
Popular Trending Products
ISBN: 9783642406140TITLE: Formal Methods for Components and Objects : 11th International Symposium, …
ISBN: 9783319101804TITLE: Integrated Formal Methods : 11th International Conference, IFM 2014, Berti…
ISBN: 9783642357428TITLE: Formal Aspects of Component Software : 8th International Symposium, FACS 2…
ISBN: 9783642358609TITLE: Formal Aspects of Component Software : 9th International Symposium, FACS 2…
ISBN: 9783662459164TITLE: Trustworthy Global Computing : 9th International Symposium, TGC 2014, Rome…
