Veith helmut edt (8 resultados)

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,94
Envío por EUR 2,33Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 124,39
Envío por EUR 17,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 143,66
Envío por EUR 2,33Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 137,98
Envío por EUR 17,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 159,75
Envío por EUR 2,33Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.

Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 158,41
Envío por EUR 17,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 177,30
Envío por EUR 17,57Se 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.

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano (EDT); Veith, Helmut (EDT); Voronkov, Andrei (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 200,43
Envío por EUR 2,33Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.