Articoli correlati a Interactive Theorem Proving And Program Development:...

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions - Rilegato

Bertot, Yves; CastTran, Pierre

 
9783540208549: Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
Rilegato
ISBN 10: 3540208542 ISBN 13: 9783540208549
Casa editrice: Springer-Nature New York Inc, 2004

Sinossi

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer-Nature New York Inc
  • Data di pubblicazione2004
  • ISBN 10 3540208542
  • ISBN 13 9783540208549
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero di pagine468
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: molto buono
497 S. - Wir versenden aus unserem...
Visualizza questo articolo
9783540208549: Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
EUR 38,20

Convertire valuta

EUR 7,95 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783540208549: Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
EUR 98,54

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642058806: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Edizione in evidenza

ISBN 10:  3642058809 ISBN 13:  9783642058806
Casa editrice: Springer, 2010
Brossura

Risultati della ricerca per Interactive Theorem Proving And Program Development:...

Immagini fornite dal venditore

Bertot, Yves, Pierre Castéran und C. Paulin-Mohring:
Editore: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Antico o usato Rilegato

Da: Antiquariat Mäander Quell, Waldshut-Tiengen, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Gut. 2004. 497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm. Codice articolo 47234

Contatta il venditore

Compra usato

EUR 38,20
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bertot, Yves, Castéran, Pierre
ISBN 10: 3540208542 ISBN 13: 9783540208549
Antico o usato Rilegato

Da: Better World Books, Mishawaka, IN, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 52062814-6

Contatta il venditore

Compra usato

EUR 68,74
Convertire valuta
Spese di spedizione: EUR 17,96
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bertot, Yves
Editore: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Antico o usato Rilegato

Da: Eve's Book Garden, Albany, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library. Codice articolo 041508

Contatta il venditore

Compra usato

EUR 66,96
Convertire valuta
Spese di spedizione: EUR 26,00
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Yves Bertot|Pierre Castéran
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuovo Rilegato
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA&nbspbroad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I. Codice articolo 4884875

Contatta il venditore

Compra nuovo

EUR 98,54
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Bertot, Yves
Editore: Springer (edition 2004), 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Antico o usato Rilegato

Da: BooksRun, Philadelphia, PA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Fair. 2004. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 3540208542-7-1

Contatta il venditore

Compra usato

EUR 62,47
Convertire valuta
Spese di spedizione: EUR 65,01
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Pierre Castéran
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuovo Rilegato
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. 500 pp. Englisch. Codice articolo 9783540208549

Contatta il venditore

Compra nuovo

EUR 117,69
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Pierre Castéran
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuovo Rilegato

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540208549

Contatta il venditore

Compra nuovo

EUR 117,69
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Pierre Castéran
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuovo Buch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch. Codice articolo 9783540208549

Contatta il venditore

Compra nuovo

EUR 117,69
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Bertot, Yves
Editore: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuovo Rilegato

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783540208549

Contatta il venditore

Compra nuovo

EUR 127,66
Convertire valuta
Spese di spedizione: EUR 7,80
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Bertot, Yves
Editore: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In English. Codice articolo ria9783540208549_new

Contatta il venditore

Compra nuovo

EUR 130,66
Convertire valuta
Spese di spedizione: EUR 10,56
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 4 copie di questo libro

Vedi tutti i risultati per questo libro