Axel legay (164 risultati)

Cuppens, Frédéric (EDT); Cuppens, Nora (EDT); Lanet, Jean-louis (EDT); Legay, Axel (EDT)

Condizione: Usato - Molto buono

EUR 41,53

EUR 6,88 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.

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

Lingua: Inglese

Editore: Springer 2017

3319548751 / 9783319548753

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Cuppens, Nora (EDT); Cuppens, Frédéric (EDT); Lanet, Jean-louis (EDT); Legay, Axel (EDT); Garcia-alfaro, Joaquin (EDT)

Condizione: Usato - Come nuovo

EUR 46,58

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Risks and Security of Internet and Systems : 12th International Conference, Crisis 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

Lingua: Inglese

Editore: Springer 2018

3319766864 / 9783319766867

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT)

Condizione: Nuovo

EUR 52,36

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer 2019

3030309223 / 9783030309220

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Cuppens, Frédéric (EDT); Cuppens, Nora (EDT); Lanet, Jean-louis (EDT); Legay, Axel (EDT)

Condizione: Nuovo

EUR 52,40

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer 2017

3319548751 / 9783319548753

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Bertacco, Valeria (EDT); Legay, Axel (EDT)

Condizione: Nuovo

EUR 52,40

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software Verification and Testing : 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Lingua: Inglese

Editore: Springer 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Legay, Axel (EDT); Bensalem, Saddek (EDT)

Condizione: Nuovo

EUR 53,68

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer 2013

3642407862 / 9783642407864

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

3030309223 / 9783030309220

Condizione: Nuovo

EUR 53,74

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2019

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,42

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2013

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Bertacco, Valeria (EDT); Legay, Axel (EDT)

Condizione: Nuovo

EUR 60,42

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software Verification and Testing : 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Lingua: Inglese

Editore: Springer 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Cuppens, Nora (EDT); Cuppens, Frédéric (EDT); Lanet, Jean-louis (EDT); Legay, Axel (EDT); Garcia-alfaro, Joaquin (EDT)

Condizione: Usato - Come nuovo

EUR 58,87

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Risks and Security of Internet and Systems : 12th International Conference, Crisis 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

Lingua: Inglese

Editore: Springer 2018

3319766864 / 9783319766867

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Legay, Axel (EDT); Bensalem, Saddek (EDT)

Condizione: Usato - Come nuovo

EUR 59,71

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer 2013

3642407862 / 9783642407864

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)

Condizione: Usato - Come nuovo

EUR 60,64

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer 2017

3319631209 / 9783319631202

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT)

Condizione: Usato - Come nuovo

EUR 60,98

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer 2019

3030309223 / 9783030309220

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Legay, Axel (EDT); Margaria, Tiziana (EDT)

Condizione: Usato - Come nuovo

EUR 61,59

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, Proceedings

Lingua: Inglese

Editore: Springer 2017

3662545799 / 9783662545799

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Legay, Axel (EDT); Margaria, Tiziana (EDT)

Condizione: Usato - Come nuovo

EUR 62,15

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, Proceedings

Lingua: Inglese

Editore: Springer 2017

3662545764 / 9783662545768

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

3319105116 / 9783319105116

Condizione: Usato - Come nuovo

EUR 62,48

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2014

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 54,45

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2014

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Bensalem, Saddek (EDT); Lakhnech, Yassine (EDT); Legay, Axel (EDT)

Condizione: Nuovo

EUR 54,45

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

From Programs to Systems - the Systems Perspective in Computing : Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lingua: Inglese

Editore: Springer 2014

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Legay, Axel (EDT); Bozga, Marius (EDT)

Condizione: Nuovo

EUR 50,90

EUR 17,36 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Modeling and Analysis of Timed Systems : 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lingua: Inglese

Editore: Springer 2014

3319105116 / 9783319105116

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,90

EUR 17,36 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 201

Bensalem, Saddek

Lingua: Inglese

Editore: Springer 2014-03 2014

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Bensalem, Saddek (EDT); Lakhnech, Yassine (EDT); Legay, Axel (EDT)

Condizione: Nuovo

EUR 50,63

EUR 17,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

From Programs to Systems - the Systems Perspective in Computing : Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lingua: Inglese

Editore: Springer 2014

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Legay, Axel (EDT); Bozga, Marius (EDT)

Condizione: Nuovo

EUR 68,19

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Modeling and Analysis of Timed Systems : 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lingua: Inglese

Editore: Springer 2014

3319105116 / 9783319105116

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 68,19

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2013

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3642407862 / 9783642407864

Condizione: Nuovo

EUR 60,55

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2013

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3662545764 / 9783662545768

Condizione: Nuovo

EUR 60,55

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2017

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3662545799 / 9783662545799

Condizione: Nuovo

EUR 60,55

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2017

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3319548751 / 9783319548753

Condizione: Nuovo

EUR 60,55

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)

Lingua: Inglese

Editore: Springer 2017

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3319631209 / 9783319631202

Condizione: Nuovo

EUR 60,55

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2017

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3319465198 / 9783319465197

Condizione: Nuovo

EUR 60,55

EUR 13,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2016

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle