Hoppa till sidans huvudinnehåll

Yliès Falcone – författare

Visar alla böcker från författaren Yliès Falcone.
4 produkter
Ezio Bartocci, Yliès Falcone, Martin Leucker - Formal Methods in Outer Space, Häftad
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

Yliès Falcone, César Sánchez - Runtime Verification, Häftad
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

Ezio Bartocci, Yliès Falcone - Lectures on Runtime Verification, Häftad
Del 10457 - Lecture Notes in Computer Science

Lectures on Runtime Verification

Introductory and Advanced Topics

AvEzio Bartocci,Yliès Falcone

Häftad, Engelska, 2018

939 kr

Skickas inom 10-15 vardagar

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

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