Interactive theorem proving program de castéran pierre (13 resultados)
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de AmericaGoodwill Southern California
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 55,09
Envío por EUR 2,60Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good.
Idioma: Inglés
Editorial: Springer, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: medimops, Berlin, Alemaniamedimops
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 51,58
Envío por EUR 20,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 87,20
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 89,79
Envío por EUR 17,55Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,93
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 113,75
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Idioma: Inglés
Editorial: Springer, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,12
Envío por EUR 14,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Idioma: Inglés
Editorial: Springer, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 148,11
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 169,95
Envío por EUR 17,55Se 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.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 160,32
Envío por EUR 29,26Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 192,90
Envío por EUR 2,29Se 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: Springer Berlin Heidelberg, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,17
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally cer…tified software. I.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, 2004
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 107,09
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and fo…rmally certified software. I.
