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

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Sehr gut

EUR 31,90

EUR 60,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: 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)

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 113,16

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: 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)

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Wie neu

EUR 117,43

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Interactive Theorem Proving : 9th Intern

Avigad, Jeremy

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 121,89

EUR 9,50 Versand

Versand von Irland nach USA

Anzahl: 15 verfügbar

Zustand: 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

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 113,16

EUR 35,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: 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)

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 155,92

EUR 3,58 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: 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

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

Sprache: Englisch

Verlag: Springer Verlag, 2018

3319948202 / 9783319948201

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 149,42

EUR 14,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

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

Interactive Theorem Proving : 9th Intern

Avigad, Jeremy

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover

Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 157,80

EUR 9,42 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: 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

Sprache: Englisch

Verlag: Springer 2018-07, 2018

3319948202 / 9783319948201

Softcover
Print-on-Demand

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 104,52

EUR 7,78 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 20 verfügbar

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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)

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 158,98

EUR 7,79 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: 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)

Sprache: Englisch

Verlag: Springer, 2018

3319948202 / 9783319948201

Softcover
Print-on-Demand

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 162,29

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 4 verfügbar

Zustand: New. PRINT ON DEMAND.

Optimieren Sie Ihre Suche

Interactive theorem proving 9th (11 Ergebnisse)

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, 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, 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 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, . Computer Science and General Issues)