Yliès Falcone - Böcker

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

4 produkter

Kategorier

4 produkter

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Av Ezio Bartocci, Yliès Falcone m. fl

Häftad, Engelska, 2021

809 kr

Skickas inom 10-15 vardagar

Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Av Yliès Falcone, César Sánchez m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Lectures on Runtime Verification

Introductory and Advanced Topics

Av Ezio Bartocci, Yliès Falcone m. fl

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

Av Howard Barringer, Ylies Falcone m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar