Interactive theorem proving program par bertot yves (31 résultats)
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 44,16
EUR 4,39 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : Very Good. Cover and edges may have some wear.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : Eve's Book Garden, Albany, CA, Etats-UnisEve's Book Garden
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 49,79
EUR 5,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : Goodwill Southern California, Los Angeles, CA, Etats-UnisGoodwill Southern California
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 55,89
EUR 2,64 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : good.
Langue : anglais
Edité par Springer Berlin Heidelberg, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : Homeless Books, Berlin, AllemagneHomeless Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 50,00
EUR 19,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Softcover. Etat : Wie neu. The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 85,67
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : medimops, Berlin, Allemagnemedimops
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 87,40
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 91,84
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 91,83
EUR 17,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : GoldBooks, Denver, CO, Etats-UnisGoldBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 107,53
EUR 4,83 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : new. New Copy. Customer Service Guaranteed.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 118,57
EUR 6,11 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : New. In shrink wrap. Looks like an interesting title.
Langue : anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 138,78
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : new. Hardcover. 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 certif…ied 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,77
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 150,27
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Autres imagesLangue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 81,80
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Yves Bertot (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxv | Englisch | 2010 | Springer | EAN 9783642058806 | Verantwortliche Person für die EU: Springer Verlag G…mbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Langue : anglais
Edité par Springer, Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 90,94
EUR 63,75 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 introduc…tion 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
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 158,67
EUR 17,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 149,06
EUR 29,18 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. Like New. 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)
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 181,19
EUR 2,32 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 181,57
EUR 3,51 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 504.
Langue : anglais
Edité par Springer, Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 64,55 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : 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.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 206,76
EUR 29,18 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Langue : anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
Vendeur : AussieBookSeller, Truganina, VIC, AustralieAussieBookSeller
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 205,19
EUR 32,52 expéditionExpédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : new. Hardcover. 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 certif…ied 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Langue : anglais
Edité par Springer, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 74,24
EUR 8,00 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer, Springer Dez 2010, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 90,94
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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 pr…agmatic 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. 500 pp. Englisch.
Langue : anglais
Edité par Springer Berlin Heidelberg, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 77,17
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Kartoniert / Broschiert. Etat : 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 theo…ries and formally certified software. I.
Langue : anglais
Edité par Springer, Springer Dez 2010, 2010
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 90,94
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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 pragma…tic 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 KG, Sachsenplatz 4-6, 1201 Wien 500 pp. Englisch.
Langue : anglais
Edité par Springer Vieweg, Springer Mai 2004, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 500 pp. Englisch.
Langue : anglais
Edité par Springer Berlin Heidelberg, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 107,09
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : 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 certifi…ed software. I.
Langue : anglais
Edité par Springer, Springer Mai 2004, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 128,39
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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 int…roduction 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.
Langue : anglais
Edité par Springer, 2004
Série : Texts in Theoretical Computer Science. An EATCS, Livre 37 sur 45. Livre 37 sur 45 - Texts in Theoretical Computer Science. An EATCS
- Couverture rigide
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 189,91
EUR 7,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. 504 Illus.
