Verification model checking abstract (358 resultados)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Mukhopadhyay, S.;Vmcai, ;Zuck, Lenore D.; Attie, P. D; Cortesi, A.
- Tapa dura
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de AmericaDoss-Haus Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 20,08
Envío por EUR 5,20Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2575. [xi, 323 p. : ill. ; 24 cm].
- Más imágenes
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 31,72
Envío por EUR 6,92Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: new.
- Más imágenes
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 36,50
Envío por EUR 6,92Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: new.
- Tapa blanda
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de AmericaThriftBooks-Atlanta
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 45,11
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Más imágenes
- Tapa blanda
Librería: WeBuyBooks, Rossendale, LANCS, Reino UnidoWeBuyBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 35,57
Envío por EUR 10,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Tapa dura
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de AmericaDoss-Haus Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 41,51
Envío por EUR 5,20Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. No Jacket. Hardcover 2005 libray bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3385.[xi, 481 p. : ill. ; 24 cm].
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,50
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,50
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,50
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,50
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Más imágenes
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 41,74
Envío por EUR 6,92Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. This book is in Good condition. There may be some notes and highligting but otherwise the book is in overall good condition.
- Más imágenes
- Tapa blanda
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de AmericaSolr Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 41,74
Envío por EUR 6,92Se envía dentro de Estados Unidos de AmericaCantidad 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.
- Tapa blanda
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino UnidoPhatpocket Limited
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 38,94
Envío por EUR 12,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 49,33
Envío por EUR 6,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,63
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,67
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,58
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings
Giacobazzi, Roberto (EDT); Berdine, Josh (EDT); Mastroeni, Isabella (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,58
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,58
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
D'souza, Deepak (EDT); Lal, Akash (EDT); Larsen, Kim Gulstrand (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,86
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,23
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,23
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,23
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,60
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding. Book.
- Más imágenes
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,60
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings. Book.
- Más imágenes
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,60
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi. Book.
- Más imágenes
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,36
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 60,73
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 60,73
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 60,73
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
