Falcone, Ylies 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
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
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings (Programming and Software Engineering)
Springer /2016-09-20 Paperback / 533 Pages
isbn-10: 3319469819 / isbn-13: 9783319469812
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Barringer, Howard Falcone, Ylies Finkbeiner, Bernd Havelund, Klaus Lee, Insup Pace, Gordon Rosu, Grigore Sokolsky, Oleg Tillmann, Nikolai
Springer /2010-10-19 Paperback / 505 Pages
isbn-10: 3642166113 / isbn-13: 9783642166112
Automates à états finis et langages réguliers - Rappels des notions essentielles et plus de 170 exer: Rappels des notions essentielles et plus de 170 exercices corrigés
Falcone, Yliès Fernandez, Jean-Claude
DUNOD /2020-07-16 Paperback / 320 Pages
isbn-10: 210080846X / isbn-13: 9782100808465
