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

AvFabrizio Biondi,Thomas Given-Wilson m. fl.

Häftad, Engelska, 2019

719 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

AvValeria Bertacco,Axel Legay

Häftad, Engelska, 2013

719 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

AvAxel Legay,Marius Bozga

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

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

AvCyrille Artho,Axel Legay m. fl.

Häftad, Engelska, 2016

719 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

AvFrédéric Cuppens,Nora Cuppens m. fl.

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

AvLuca Aceto,Giorgio Bacci m. fl.

Häftad, Engelska, 2017

719 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

AvNora Cuppens,Frédéric Cuppens m. fl.

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

AvAxel Legay,Saddek Bensalem

Häftad, Engelska, 2013

719 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

AvSaddek Bensalem,Yassine Lakhnech m. fl.

Häftad, Engelska, 2014

689 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

AvAxel Legay,Tiziana Margaria

Häftad, Engelska, 2017

719 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

AvAxel Legay,Tiziana Margaria

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar