Hoppa till sidans huvudinnehåll

Cyrille Artho – författare

Visar alla böcker från författaren Cyrille Artho.
6 produkter
Del 1008 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Del 419 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

Del 476 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Del 596 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Del 9938 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

AvCyrille Artho,Axel Legaym. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Del 694 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar