| |

avaa valikko

Axel Legay | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 tuotetta
Haluatko tarkentaa hakukriteerejä?

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

Legay, Axel; Bensalem, Saddek
Springer
2013
Pehmeäkantinen kirja

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

51,10 €

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September

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

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September

49,20 €

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

Legay, Axel; Margaria, Tiziana
Springer
2017
Pehmeäkantinen kirja

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

51,10 €

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

Legay, Axel; Margaria, Tiziana
Springer
2017
Pehmeäkantinen kirja

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

51,10 €

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

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

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

51,10 €

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

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

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

49,20 €

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

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

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

51,10 €

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

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

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

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
2017
Pehmeäkantinen kirja

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

51,10 €

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

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

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

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
2019
Pehmeäkantinen kirja

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

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

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

116,60 €

Näytä lisää...