Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers: 8997 (Lecture Notes in Computer Science)
by Ivan Lanese,Eric Madelaine
ISBN 13: 9783319153162
Format: Paperback (396 pages) Publisher: Springer Published: 28 Feb 2015
Save for later