Legay axel (161 resultados)

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

Condición: Usado - Bueno

EUR 41,69

Envío por EUR 6,91

Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Condición: very_good. This book 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

Idioma: Inglés

Editorial: Springer, 2017

3319548751 / 9783319548753

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 46,94

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2018

3319766864 / 9783319766867

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 52,34

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 52,56

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2017

3319548751 / 9783319548753

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 52,56

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2013

3642407862 / 9783642407864

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 53,68

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 53,90

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

Vendedor de 4 estrellas

Condición: Nuevo

EUR 60,65

Gastos de envío gratis

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

Vendedor de 4 estrellas

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

Condición: Nuevo

EUR 60,65

Gastos de envío gratis

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 59,30

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2018

3319766864 / 9783319766867

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 60,13

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: As New. Unread book in perfect condition.

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

Idioma: Inglés

Editorial: Springer, 2013

3642407862 / 9783642407864

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 61,12

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2017

3319631209 / 9783319631202

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Usado - Como Nuevo

EUR 61,49

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: As New. Unread book in perfect condition.

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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Usado - Como Nuevo

EUR 62,03

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: As New. Unread book in perfect condition.

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... (Lecture Notes in Computer Science, 8415)

Idioma: Inglés

Editorial: Springer, 2014

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3319105116 / 9783319105116

Condición: Nuevo

EUR 55,01

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

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)

Idioma: Inglés

Editorial: Springer, 2014

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 55,01

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer, 2014

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 51,05

Envío por EUR 17,54

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2014

3319105116 / 9783319105116

Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

Vendedor de 5 estrellas

Condición: Nuevo

EUR 51,21

Envío por EUR 17,54

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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

Idioma: Inglés

Editorial: Springer 2014-03, 2014

Tapa blanda

Librería: Chiron Media, Wallingford, Reino UnidoChiron Media

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 51,15

Envío por EUR 18,11

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

PF. Condición: 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

Idioma: Inglés

Editorial: Springer, 2014

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

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

Condición: Nuevo

EUR 68,97

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

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

Idioma: Inglés

Editorial: Springer, 2014

3319105116 / 9783319105116

Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

Vendedor de 5 estrellas

Condición: Nuevo

EUR 70,07

Envío por EUR 2,29

Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New.

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science, 8244)

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3642407862 / 9783642407864

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

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

Idioma: Inglés

Editorial: Springer, 2013

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3662545764 / 9783662545768

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer, 2017

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3662545799 / 9783662545799

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 10206)

Idioma: Inglés

Editorial: Springer, 2017

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3319766864 / 9783319766867

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science, 10694)

Idioma: Inglés

Editorial: Springer, 2018

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3319548751 / 9783319548753

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer, 2017

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

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

Idioma: Inglés

Editorial: Springer, 2019

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3319631209 / 9783319631202

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: 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)

Idioma: Inglés

Editorial: Springer, 2017

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

3319465198 / 9783319465197

Condición: Nuevo

EUR 61,17

Envío por EUR 13,20

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science, 9938)

Idioma: Inglés

Editorial: Springer, 2016

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas