T margaria (59 resultados)
Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers
Brinksma, E.; W.R.Cleaveland; K.G.Larsen; T.Margaria; B. Steffen (eds.)
Editorial: Springer, c.1995, 1995
- Tapa blanda
Librería: Harry Alter, Sylva, NC, Estados Unidos de AmericaHarry Alter
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 18,42
Envío por EUR 3,53Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritopaperback. Condición: Very Good. (Lecture Notes in Computer Science 1019) Springer, Berlin c.1995, 8vo. paperbk. 289pp. F $.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,98
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,69
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Services and Visualization : Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
Margaria, Tiziana (EDT); Steffen, Bernhard (EDT); Ruckert, Roland (EDT); Posegga, Joachim (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,00
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,24
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Routledge, 2025
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,78
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: As New. Unread book in perfect condition.

Sofsem 2017 : Theory and Practice of Computer Science, Proceedings
Steffen, Bernhard (EDT); Baier, Christel (EDT); van den Brand, Mark (EDT); Eder, Johann (EDT); Hinchey, Mike (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,96
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 63,88
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,06
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Sofsem 2017 : Theory and Practice of Computer Science, Proceedings
Steffen, Bernhard (EDT); Baier, Christel (EDT); van den Brand, Mark (EDT); Eder, Johann (EDT); Hinchey, Mike (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,90
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,90
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,90
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 65,92
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Routledge, 2025
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 71,07
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,83
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,59
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,92
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Services and Visualization : Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
Margaria, Tiziana (EDT); Steffen, Bernhard (EDT); Ruckert, Roland (EDT); Posegga, Joachim (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,97
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,80
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,80
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.

Sofsem 2017 : Theory and Practice of Computer Science, Proceedings
Steffen, Bernhard (EDT); Baier, Christel (EDT); van den Brand, Mark (EDT); Eder, Johann (EDT); Hinchey, Mike (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,17
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,27
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Routledge, 2025
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,17
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: New.

Idioma: Inglés
Editorial: Routledge, 2025
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,18
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: As New. Unread book in perfect condition.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,45
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,10
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,18
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,26
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,91
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,91
Envío por EUR 17,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.