Castéran pierre (25 resultados)

Softcover. 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.

Couverture rigide. Condición: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.

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.

Hardcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. …

Condición: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.

Condición: good. Paperback Book.

Plon 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.

Rayon : 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, merci de vous renseigner avant de passer commande. Les envois se font uniquement en point relais MONDIAL RELAY ou INPOST pour les pays suivants : 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.…

Condición: New.

Condición: TBE. Paris, br.; in-8, 243 pp.

Condición: New. In English.

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.

Condición: New.

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.

Condición: as new. vendeur professionnel. envoi soigne en 24/48h.

Taschenbuch. 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.…

Condición: New.

Condición: New. In English.

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.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

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.

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&nbspbroad 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.…

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&nbspbroad 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.…