Importe total (1 artículo artículos):
Destino del pedido:
corina pasareanu (109 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (109)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (98)
- Como nuevo, Excelente o Muy bueno (8)
- Bueno o Aceptable (3)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (51)
- No impresión bajo demanda (61)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 17,64
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritopaperback. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 17,64
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 38,63
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 1st edition NO-PA16APR2015-KAP.
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,70
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 57,75
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science, 5578)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 60,09
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,41
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,57
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 61,66
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,24
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 69,15
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,97
Envío por EUR 17,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Formal Aspects of Component Software
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 68,61
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 288.
-
Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 55,91
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science, 5578)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,86
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Lecture Notes in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,86
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,86
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,86
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,88
Envío por EUR 17,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,20
Envío por EUR 17,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Model Checking Software
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 73,78
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 308.
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,85
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,85
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,82
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 76,85
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 440.
-
Theoretical Aspects Of Computing - Ictac
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 70,32
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,39
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Model Checking Software (Paperback or Softback)
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 84,01
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Model Checking Software. Book.
-
Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,38
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Theoretical Aspects of Computing ? ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27?29, 2022, Proceedings (Lecture Notes in Computer Science)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 83,31
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
