Axel Legay – författare
Visar alla böcker från författaren Axel Legay. Handla med fri frakt och snabb leverans.
22 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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal …
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Av Axel Legay, Thomas Given-Wilson m. fl.
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT …
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Av Axel Legay, Valeria Bertacco
E-bok, 2013
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT …
Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Häftad, 2014
544 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers …
Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
E-bok, 2014
672 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014. The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers …
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
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in …
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Av Doron Peled, Axel Legay m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in …
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
566 kr
Lägg i varukorg
This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They …
Risks and Security of Internet and Systems
11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
Av Axel Legay, Jean-Louis Lanet m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They …
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
566 kr
Lägg i varukorg
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, …
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Av Radu Mardare, Axel Legay m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, …
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
566 kr
Lägg i varukorg
This book constitutes the revised selected papers from the 12th International Conference on Risk and Security of Internet and Systems, CRISIS 2017, held in Dinard, France, in September 2017.The 12 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 42 …
Risks and Security of Internet and Systems
12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Av Joaquin Garcia-Alfaro, Axel Legay m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the revised selected papers from the 12th International Conference on Risk and Security of Internet and Systems, CRISIS 2017, held in Dinard, France, in September 2017. The 12 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 42 …
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Av Axel Legay, Saddek Bensalem
Häftad, 2013
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected …
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Av Saddek Bensalem, Axel Legay
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected …
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
544 kr
Lägg i varukorg
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary …
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 Axel Legay, Yassine Lakhnech m. fl.
E-bok, 2014
657 kr
Lägg i varukorg
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary …
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
566 kr
Lägg i varukorg
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and …
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 Tiziana Margaria, Axel Legay
E-bok, 2017
755 kr
Lägg i varukorg
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and …
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
566 kr
Lägg i varukorg
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and …
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 Tiziana Margaria, Axel Legay
E-bok, 2017
755 kr
Lägg i varukorg
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and …
