Axel Legay – författare
Visar alla böcker från författaren Axel Legay.
11 produkter
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Av Fabrizio Biondi, Thomas Given-Wilson m. fl.
Häftad, 2019
739 kr
Lägg i varukorg
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Av Valeria Bertacco, Axel Legay
Häftad, 2013
739 kr
Lägg i varukorg
Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Häftad, 2014
709 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Av Cyrille Artho, Axel Legay m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Risks and Security of Internet and Systems
11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
Av Frédéric Cuppens, Nora Cuppens m. fl.
Häftad, 2017
739 kr
Lägg i varukorg
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Av Luca Aceto, Giorgio Bacci m. fl.
Häftad, 2017
739 kr
Lägg i varukorg
Risks and Security of Internet and Systems
12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Av Nora Cuppens, Frédéric Cuppens m. fl.
Häftad, 2018
739 kr
Lägg i varukorg
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Av Axel Legay, Saddek Bensalem
Häftad, 2013
739 kr
Lägg i varukorg
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Av Saddek Bensalem, Yassine Lakhnech m. fl.
Häftad, 2014
709 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Av Axel Legay, Tiziana Margaria
Häftad, 2017
739 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Av Axel Legay, Tiziana Margaria
Häftad, 2017
739 kr
Lägg i varukorg