Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02129535
Price: 121.0 EUR
Availability: InStock
Author: Yves Bertot
ISBN: 9783540208549

Coq'Art: The Calculus of Inductive Constructions

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02129535

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2004

Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Celý popis

Libristo kód: 02129535

292 b

121.00 €

Skladom u dodávateľa Odosielame za 10-13 dní

Až 30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Interactive Theorem Proving and Program Development Yves Bertot

Brožovaná

85.76 €

Interactive Technologies and Sociotechnical Systems Hongbin Zha

Brožovaná

55.89 €

Data Visualization with Excel Dashboards and Reports Dick Kusleika

Brožovaná

29.96 €

Interactive Video Riad Hammoud

Brožovaná

103.07 €

Interactive Theorem Proving Matt Kaufmann

Brožovaná

110.67 €

Interactive Theorem Proving Marko Van Eekelen

Brožovaná

55.89 €

Interactive Theorem Proving Lennart Beringer

Brožovaná

55.89 €

Dance of the Serpents Oscar de Muriel

Brožovaná

10.82 €

Deyrolle: French Botanical Art Emmanuelle Polle

Brožovaná

18.12 €

Relentless: 12 Rounds to Success Eddie Hearn

Pevná

26.12 €

Cute Hand Lettering

Brožovaná

13.96 €

The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick

Brožovaná

37.36 €

Lost Spells Robert Macfarlane

Pevná

15.38 €

Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS

Brožovaná

36.44 €

Fighters Across Frontiers Ismee Tames

Pevná

36.75 €

Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art

Brožovaná

6.37 €

Recollections of My Non-Existence

Pevná

14.47 €

Adventures of Nio the Skunk: The Unknown Anticio T. Duke

Brožovaná

9.81 €

Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague

Brožovaná

11.53 €

In the Ruins of Neoliberalism Wendy Brown

Brožovaná

25.81 €

Layout Essentials Revised and Updated Beth Tondreau

Brožovaná

25.51 €

Building Microservices Sam Newman

Brožovaná

56.60 €

Seirei Gensouki: Spirit Chronicles: Omnibus 9 Riv

Brožovaná

21.46 €

Think Like the Greats Peter Hollins

Brožovaná

15.38 €

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.