Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions

Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)

ISBN 10: 3642058809 ISBN 13: 9783642058806

Editorial: Springer, 2010

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por GreatBookPrices, Columbia, MD, Estados Unidos de America

Vendedor de AbeBooks desde 6 de abril de 2009

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Como Nuevo

Precio: EUR 179,49 Convertir moneda

EUR 17,18 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Unread book in perfect condition.

N� de ref. del art�culo 11868576

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions

Editor

Springer

Fecha de publicaci�n

2010

Idioma

Ingl�s

ISBN 10

3642058809

ISBN 13

9783642058806

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

As New

Cat�logos de vendedores

Acerca de

Sinopsis

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.

De la contraportada

<p>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.</p><p>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.</p>

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

SuperBookDeals.com is your top source for finding new books at the absolute lowest prices, guaranteed ! We offer big discounts - everyday - on millions of titles in virtually any category, from Architecture to Zoology -- and everything in between. Discover great deals and super-savings, on professional books, text book titles, the newest computer guides, or your favorite fiction authors. You'll find it all - at HUGE SAVINGS - at SuperBookDeals. Browse through our complete online product catalog today. Serving customers around the world for years, we help thousands find just the books they're looking for -- at incredibly low, bargain prices.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Expert Trading Limited
9220 Rumsey Road, Suite 101, Columbia, MD, 21045, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Company Name: GreatBookPrices
Legal Entity: Expert Trading, LLC
Address: 6310 Stevens Forest, suite 200, Columbia MD 21046
Email address: CustomerService@SuperBookDeals.com
Phone number: 410-964-0026
consumer complaints can be addressed to address above
Registration #: 52-1713923
Authorized representative: Danielle Hainsey

Derecho a cancelaci�n

Condiciones de env�o

Our warehouses across the globe are fully operational without substantial delays. We are working hard and continue to overcome the daily challenges presented by COVID-19. We appreciate your understanding.

Internal processing of your order will take about 1-2 business days. Please allow an additional 4-14 business days for Media Mail delivery. We have multiple ship-from locations - MD,IL,NJ,UK,IN,NV,TN & GA

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 21 a 36 d�as h�biles	De 21 a 36 d�as h�biles
Primer art�culo	EUR 17.18	EUR 17.18

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.