Buy Used and New Yliès Falcone Books

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings: 10012 (Lecture Notes in Computer Science)

by Yliès Falcone,César Sánchez

ISBN 13: 9783319469812

Format: Paperback (536 pages)
Publisher: Springer
Published: 20 Sep 2016

Save for later

Lectures on Runtime Verification: Introductory and Advanced Topics: 10457 (Lecture Notes in Computer Science)

by Ezio Bartocci,Yliès Falcone

ISBN 13: 9783319756318

Format: Paperback (244 pages)
Publisher: Springer
Published: 11 Feb 2018

Save for later

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065)

by Ezio Bartocci,Yliès Falcone,Martin Leucker

ISBN 13: 9783030873479

Format: Paperback (205 pages)
Publisher: Springer
Published: 28 Sep 2021

Save for later