Capa do artigo Interactive Theorem Proving And Program Development

10% OFF

Interactive Theorem Proving And Program Development eBook

Name: Interactive Theorem Proving And Program Development
Price: 98.71 EUR
Author: Pierre Casteran e Yves Bertot
ISBN: 9783662079645

Coq’Art: The Calculus Of Inductive Constructions

by Pierre Casteran e Yves Bertot

language: english

Publisher: Springer Berlin Heidelberg, March of 2013 ‧ see product details

(0)

be the first to comment

98,71€

10% OFF CARD

IMMEDIATE AVAILABILITY

Ebook for ADE

SYNOPSIS

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises.

DETAILS

Interactive Theorem Proving And Program Development

Coq’Art: The Calculus Of Inductive Constructions

by Pierre Casteran e Yves Bertot
Property	Description
ISBN:	9783662079645
Publisher:	Springer Berlin Heidelberg
Release Date:	March of 2013
Language:	English
Format:	eBook
File Format and Compatibility:	PDF para ADE
Collection:	Texts In Theoretical Computer Science. An Eatcs Series
Categories:	eBooks in English > Science > Mathematics
EAN:	9783662079645

BOOKS FROM THE SAME COLLECTION

eBook

10%

Formal Methods For Software Engineering

Markus Roggenbach, Antonio Cerone, Siraj Ahmed Shaikh, Gerardo SchneiderandBernd-Holger Schlingloff

Springer International Publishing

72,86€ 10% CARD
10%

Decision Procedures

Ofer StrichmanandDaniel Kroening

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

74,34€ 10% CARD

free shipping
eBook

10%

Decision Procedures

Ofer StrichmanandDaniel Kroening

Springer Berlin Heidelberg

72,86€ 10% CARD
eBook

10%

Introduction To Online Computation

Dennis Komm

Springer International Publishing

79,49€ 10% CARD

SEE MORE TITLES FROM THIS COLLECTION

FROM THE SAME AUTHORS