Giachino, Elena books & textbook
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)
Giachino, Elena Hähnle, Reiner de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-08-26 Paperback / 250 Pages
isbn-10: 3642406149 / isbn-13: 9783642406140
Behavioral Types in Programming Languages (Foundations and Trends(r) in Programming Languages)
Ancona, Davide Bono, Viviana Bravetti, Mario Campos, Joana Castagna, Giuseppe Deniélou, Pierre-Malo Gay, Simon J Gesbert, Nils Giachino, Elena Hu, Raymond Johnsen, Einar Broch Martin, Francisco Mascardi, Viviana Montesi, Fabrizi
Now Publishers /2016-07-21 Paperback / 156 Pages
isbn-10: 1680831348 / isbn-13: 9781680831344
