Interactive theorem proving 9th

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Notes in Computer Science, Band 10895)

Jeremy Avigad

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Très bon

EUR 31,90

EUR 60,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Taschenbuch. Etat : Sehr gut. Gebraucht - Sehr gut - ungelesen, sehr gut mit leichten Mängeln an Schnitt oder Umschlag durch Lager- oder Transportschaden, als Mängelexemplar gekennzeichnet -This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verication of mathematical results.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 642 pp. Englisch.…

Interactive Theorem Proving : 9th International Conference, Itp 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings

Avigad, Jeremy (EDT); Mahboubi, Assia (EDT)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Comme neuf

EUR 116,93

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : As New. Unread book in perfect condition.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . (Lecture Notes in Computer Science)

Jeremy Avigad, Assia Mahboubi

Langue : anglais

Edité par Springer 2018-07-04, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 103,06

EUR 18,31 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponibles

Paperback. Etat : New.

Interactive Theorem Proving : 9th International Conference, Itp 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings

Avigad, Jeremy (EDT); Mahboubi, Assia (EDT)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 122,84

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 116,16

EUR 17,66 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

Interactive Theorem Proving : 9th Intern

Avigad, Jeremy

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 121,89

EUR 9,50 expédition

Expédition depuis Irlande vers Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Assia Mahboubi

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 113,16

EUR 35,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 152,54

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

Interactive Theorem Proving | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Jeremy Avigad (u. a.)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 86,30

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

Interactive Theorem Proving: 9th International Conference, Itp 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings

Avigad, Jeremy (Editor)/ Mahboubi, Assia (Editor)

Langue : anglais

Edité par Springer Verlag, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 149,87

EUR 14,77 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 664 pages. 9.25x6.10x1.38 inches. In Stock.

Interactive Theorem Proving : 9th Intern

Avigad, Jeremy

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple

Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 157,13

EUR 9,38 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 157,22

EUR 7,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. Print on Demand.

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2018

3319948202 / 9783319948201

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 158,70

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. PRINT ON DEMAND.

Interactive theorem proving 9th (13 résultats)

Affiner la recherche

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Notes in Computer Science, Band 10895)

Interactive Theorem Proving : 9th International Conference, Itp 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . (Lecture Notes in Computer Science)

Interactive Theorem Proving : 9th International Conference, Itp 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Interactive Theorem Proving : 9th Intern

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Computer Science and General Issues)

Interactive Theorem Proving | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving: 9th International Conference, Itp 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings

Interactive Theorem Proving : 9th Intern

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Computer Science and General Issues)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, . Computer Science and General Issues)