Articles liés à Interactive Theorem Proving: Third International Conference,...
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Couverture souple
Synopsis
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,74
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Interactive Theorem Proving: Third International Conference,...
Image d'archives
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
Edité par
Springer (edition 2012), 2012
ISBN 10 : 3642323464
ISBN 13 : 9783642323461
Ancien ou d'occasion
Paperback
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. 2012. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. N° de réf. du vendeur 3642323464-8-1
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Interactive Theorem Proving
Edité par
Springer Berlin Heidelberg, 2012
ISBN 10 : 3642323464
ISBN 13 : 9783642323461
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up to date results State of the art research Fast-track conference proceedingsThis book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeto. N° de réf. du vendeur 5056893
Quantité disponible : Plus de 20 disponibles
Image d'archives
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642323461_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642323461
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18721964-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Interactive Theorem Proving
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
ISBN 10 : 3642323464
ISBN 13 : 9783642323461
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Editor(s): Beringer, Lennart; Felty, Amy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603. . 2012. 2012th Edition. paperback. . . . . N° de réf. du vendeur V9783642323461
Quantité disponible : 15 disponible(s)
Image d'archives
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783642323461
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18721964-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Edité par
Springer, 2012
ISBN 10 : 3642323464
ISBN 13 : 9783642323461
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 18721964
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings
Edité par
Springer, 2012
ISBN 10 : 3642323464
ISBN 13 : 9783642323461
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 18721964
Quantité disponible : Plus de 20 disponibles