Casteran pierre (22 resultados)
Editorial: Plon
- Tapa blanda
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
OportunidadPrecio actual: EUR 3,15
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Ammareal gives back up to 15% of this item's net price to charity organizations.
- Tapa dura
Librería: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,88
Envío por EUR 17,21Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Couverture rigide. Condición: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
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 42,63
Envío por EUR 10,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.
Editorial: Plon, 1978
Librería: crealivres, la fontennelle, Franciacrealivres
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 14,00
Envío por EUR 14,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
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 54,73
Envío por EUR 2,58Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. Paperback Book.
Editorial: 1978, 1978
Librería: KEÏMOLA, SAINT-PALAIS-SUR-MER, FranciaKEÏMOLA
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 12,00
Envío por EUR 17,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPlon livre récit , Etat : bon broché 24*15,5 242 ----------> Pour bénéficier du tarif de livraison le plus avantageux, pour la France et certains pays d'Europe, les livres seront expédiés par Mondial Relay. Merci de m'indiquer un point relais Mondial Relay lors de votre commande.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Libro 37 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 91,76
Envío por EUR 13,97Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Editorial: Plon, 1978
- Tapa blanda
Librería: Librairie Lire et Chiner, colmar, ALSAC, FranciaLibrairie Lire et Chiner
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 12,00
Envío por EUR 46,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: TBE. Paris, br.; in-8, 243 pp.
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,49
Envío por EUR 2,27Se 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: Nuevo
EUR 91,75
Envío por EUR 17,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: LiLi - La Liberté des Livres, CANEJAN, FranciaLiLi - La Liberté des Livres
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 7,99
Envío por EUR 65,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
Editorial: Plon, 1978
- Tapa blanda
Librería: Le-Livre, SABLONS, FranciaLe-Livre
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: ILAB
Condición: Usado - Muy bueno
EUR 20,90
Envío por EUR 42,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Couverture souple. Condición: bon. R100065829: 1978. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 242 pages - quelques cartes en noir et blanc hors texte en fin d'ouvrage. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
- Tapa dura
Librería: LiLi - La Liberté des Livres, CANEJAN, FranciaLiLi - La Liberté des Livres
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 10,50
Envío por EUR 65,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: as new. vendeur professionnel. envoi soigne en 24/48h.
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 128,66
Envío por EUR 13,97Se 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 5 estrellasCondición: Nuevo
EUR 147,17
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,35
Envío por EUR 17,49Se 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 159,75
Envío por EUR 29,15Se 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.
Editorial: Plon, 1978
- Tapa blanda
Librería: Le-Livre, SABLONS, FranciaLe-Livre
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: ILAB
Condición: Usado - Muy bueno
EUR 25,80
Envío por EUR 42,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Couverture souple. Condición: bon. RO20248530: 1978. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 242 pages. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
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,10
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Editorial: PLON, 1978
- Tapa blanda
Librería: Le-Livre, SABLONS, FranciaLe-Livre
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: ILAB
Condición: Usado - Muy bueno
EUR 30,90
Envío por EUR 42,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Couverture souple. Condición: bon. R160018667: 1978. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 242 pages. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
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.
