Ezio Falcone books & textbook
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)
Bartocci, Ezio Falcone, Yliès Leucker, Martin
Springer /2021-09-28 Paperback / 208 Pages
isbn-10: 3030873471 / isbn-13: 9783030873479
Il limone della Costa d'Amalfi. Ricette, storia, arte. Ediz. italiana e inglese
Arsena / Paperback
isbn-10: 8890489103 / isbn-13: 9788890489105
Normanni del Sud: Salerno - Bari 999-1999
Giovanni Amatuccio Giosi Amirante Pina Belli D’Elia Errico Cuozzo Ezio Falcone Cosimo Damiano Fonseca Jean-Marie Martin Aurelio Musi Paolo Peduto
Adda /1999-01-01 Paperback / 128 Pages
isbn-10: 8880823302 / isbn-13: 9788880823308
Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering)
Springer /2018-02-11 Paperback / 240 Pages
isbn-10: 3319756311 / isbn-13: 9783319756318