Axel Legay | Booky.fi

From Programs to Systems - The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble

Bensalem, Saddek; Lakhnech, Yassine; Legay, Axel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

49,20 €

Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Legay, Axel; Bensalem, Saddek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 20

Legay, Axel; Bozga, Marius
Springer International Publishing AG
2014
Pehmeäkantinen kirja

49,20 €

Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of t

Legay, Axel; Margaria, Tiziana
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2017
Pehmeäkantinen kirja

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of t

Legay, Axel; Margaria, Tiziana
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2017
Pehmeäkantinen kirja

51,10 €

Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, Nove

Bertacco, Valeria; Legay, Axel
Springer International Publishing AG
2013
Pehmeäkantinen kirja

51,10 €

Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016,

Artho, Cyrille; Legay, Axel; Peled, Doron
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, R

Cuppens, Frédéric; Cuppens, Nora; Lanet, Jean-Louis; Legay, Axel
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Risks and Security of Internet and Systems - 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017,

Cuppens, Nora; Cuppens, Frédéric; Lanet, Jean-Louis; Legay, Axel; Garcia-Alfaro, Joaquin
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Biondi, Fabrizio; Given-Wilson, Thomas; Legay, Axel
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

From Programs to Systems - The Systems Perspective in Computing - Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble

Bensalem, Saddek; Lakhneck, Yassine; Legay, Axel
Springer
2014
Pehmeäkantinen kirja

117,30 €