Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers: 9539 (Lecture Notes in Computer Science)
by Christiano Braga, Peter Csaba Ölveczky
ISBN 13: 9783319289335
Format: Paperback (344 pages) Publisher: Springer Published: 07 Mar 2016
Save for later
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science)
by Farhad Arbab, Peter Csaba Ölveczky
ISBN 13: 9783642357428
Format: Paperback (380 pages) Publisher: Springer Published: 23 Nov 2012