Yliès Falcone – författare
Visar alla böcker från författaren Yliès Falcone. Handla med fri frakt och snabb leverans.
8 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, 2021
622 kr
Lägg i varukorg
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research …
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Av Martin Leucker, Ylies Falcone m. fl.
E-bok, 2021
821 kr
Lägg i varukorg
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research …
Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Av Yliès Falcone, César Sánchez
Häftad, 2016
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were …
Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Av Cesar Sanchez, Ylies Falcone
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were …
Lectures on Runtime Verification
Introductory and Advanced Topics
Av Ezio Bartocci, Yliès Falcone
Häftad, 2018
734 kr
Lägg i varukorg
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of …
Lectures on Runtime Verification
Introductory and Advanced Topics
Av Ylies Falcone, Ezio Bartocci
E-bok, 2018
903 kr
Lägg i varukorg
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of …
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Av Howard Barringer, Ylies Falcone m. fl.
Häftad, 2010
566 kr
Lägg i varukorg
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime …
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Av Nikolai Tillmann, Oleg Sokolsky m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
