Yliès Falcone – författare

Visar alla böcker från författaren Yliès Falcone.

4 produkter

Kategorier

4 produkter

Del 13065
Del 13065 - Lecture Notes in Computer Science
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
AvEzio Bartocci,Yliès Falconem. fl.
Häftad, Engelska, 2021
799 kr
Skickas inom 10-15 vardagar
Del 10012
Del 10012 - Lecture Notes in Computer Science
Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
AvYliès Falcone,César Sánchez
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar
Del 10457
Del 10457 - Lecture Notes in Computer Science
Lectures on Runtime Verification
Introductory and Advanced Topics
AvEzio Bartocci,Yliès Falcone
Häftad, Engelska, 2018
949 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
AvHoward Barringer,Ylies Falconem. fl.
Häftad, Engelska, 2010
729 kr
Skickas inom 10-15 vardagar