Hoppa till sidans huvudinnehåll

Axel Legay - Böcker

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, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Av Axel Legay, Marius Bozga

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

Av Axel Legay, Saddek Bensalem

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar