Importe total (1 artículo artículos):
Destino del pedido:
casteran pierre (32 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (32)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (16)
- Como nuevo, Excelente o Muy bueno (11)
- Bueno o Aceptable (2)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (3)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (19)
- No impresión bajo demanda (28)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 29,66
Envío por EUR 2,54
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good.
-
Chercher fortune en nouvelle France
Librería: La Bouquinerie à Dédé, Gatineau, QC, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 10,83
Envío por EUR 16,92
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture rigide. Condición: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Publicado por Plon
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 4,02
Envío por EUR 20,50
Se 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.
-
Chercher fortune en Nouvelle-France
Idioma: Francés
Publicado por Libre Expression (Editions), 2007
ISBN 10: 276480301X ISBN 13: 9782764803011
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 9,49
Envío por EUR 20,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
L'AFRIQUE DEBOUSSOLEE
Publicado por 1978, 1978
Librería: KEÏMOLA, SAINT-PALAIS-SUR-MER, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 12,00
Envío por EUR 17,00
Se 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.
-
Chercher fortune en Nouvelle-France
Librería: LE PIANO-LIVRE, QUIMPER, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 20,00
Envío por EUR 29,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoRayon : Civilisation Editeur : Libre Expression Date de parution : 2007 Description : In-4, 208 pages, relié entoilé avec jaquette parfaite, occasion, très bon état. IMPORTANT : Pour les envois internationaux, il est préférable de vous renseigner avant de passer commande. Les envois se font uniquement en point relais MONDIAL RELAY ou INPOST pour les pays suivants : Allemagne, Autriche, Belgique, Espagne, Italie, Luxembourg, Pays-Bas, Pologne, et Portugal. Merci de nous indiquer en retour le point relais choisi ainsi que votre numéro de téléphone mobile pour assurer le suivi du colis. ATTENTION : Les expéditions nationales de plus de 2 kilos et les expéditions internationales de plus de 1 kilo se voient appliquer un supplément de port. Envois quotidiens du mardi au samedi. Les livres sont envoyés sous enveloppe bulles. Les frais de ports comprennent les frais d'affranchissements et d'emballage. Librairie Le Piano-Livre. Merci. Référence catalogue vendeur: X20792.
-
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
Librería: Aragon Books Canada, OTTAWA, ON, Canada
Calificación del vendedor: 3 de 5 estrellas
EUR 38,34
Envío por EUR 19,46
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 85,00
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 83,83
Envío por EUR 3,38
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 88,50
Envío por EUR 13,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 89,66
Envío por EUR 17,27
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
L'Afrique déboussolée
Publicado por Plon, 1978
Librería: Librairie Lire et Chiner, Colmar, ALSAC, Francia
Calificación del vendedor: 4 de 5 estrellas
EUR 12,00
Envío por EUR 46,00
Se 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
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 111,13
Envío por EUR 3,38
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 124,60
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Chercher fortune en nouvelle France
Librería: LiLi - La Liberté des Livres, CANEJAN, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 7,99
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
-
L'Afrique déboussolée.
Publicado por Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 20,90
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture 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.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 123,70
Envío por EUR 13,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 85,59
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.
-
Chercher fortune en nouvelle France
Librería: LiLi - La Liberté des Livres, CANEJAN, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 11,67
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: as new. vendeur professionnel. envoi soigne en 24/48h.
-
Interactive Theorem Proving and Program Development : Coq¿Art: The Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 85,59
Envío por EUR 63,75
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 156,53
Envío por EUR 17,27
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 147,06
Envío por EUR 28,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 177,62
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 117,69
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.
-
Interactive Theorem Proving and Program Development : Coq¿Art: The Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 117,69
Envío por EUR 64,55
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
-
L'Afrique déboussolée suivi d'un reportage de Gabriel Garcia Marquez "opération Charlotte".
Publicado por Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 25,80
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture 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.
-
L'AFRIQUE DEBOUSSOLEE
Publicado por PLON, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 30,90
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCouverture 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.
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Publicado por Plon, 1978
Librería: crealivres, La fontennelle, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 14,00
Envío por EUR 55,00
Se 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.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 85,59
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. 500 pp. Englisch.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 72,89
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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 certified software. I.
