Kód: 02129535

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: 152.04 EUR
Availability: InStock

Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring

Jazyk: Angličtina
Väzba: Pevná
Počet strán: 472
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
Viac informácií o knihe

152.04 €

Skladom u dodávateľa v malom množstve
Odosielame za 12 - 17 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Interactive Theorem Proving and Program Development
74.07 € -18 %
Kúpiť
Data Visualization with Excel Dashboards and Reports
40.72 € -5 %
Kúpiť
Crush
11.04 € -13 %
Kúpiť
Sketching from the Imagination
27.62 € -19 %
Kúpiť
Layout Essentials Revised and Updated
20.86 € -23 %
Kúpiť
In the Ruins of Neoliberalism
24.65 € -4 %
Kúpiť
Recollections of My Non-Existence
17.79 € -8 %
Kúpiť
Cute Hand Lettering
17.90 €
Kúpiť
Complete Guide to Machine Knitting: From the Thread to the Finished Garment
36.11 € -12 %
Kúpiť
Lost Spells
15.13 € -22 %
Kúpiť
Relentless: 12 Rounds to Success
24.85 € -13 %
Kúpiť
Dance of the Serpents
12.27 € -9 %
Kúpiť
Continuous Discovery Habits
20.45 € -3 %
Kúpiť
Essential Guide to Critical Development Studies
71.52 €
Kúpiť
Soled Out: The Golden Age of Sneaker Advertising
58.42 € -2 %
Kúpiť
Invention and Innovation
22.19 € -15 %
Kúpiť
Notes on Heartbreak
12.27 € -9 %
Kúpiť
Unfortunately Yours
16.87 € -17 %
Kúpiť
Lego train adventure rhyming story book: riding a Lego train
12.78 €
Kúpiť
From Head to Toe
9.81 €
Kúpiť
Diseases of the Brain, Head & Neck, Spine
139.46 €
Kúpiť
Electronic Tagging and Tracking in Marine Fisheries
70.80 €
Kúpiť
Temporal Logics in Computer Science
121.76 € -15 %
Kúpiť
Homeland
9.61 € -15 %
Kúpiť
Effective Modern C++
50.23 € -16 %
Kúpiť
Guitar World
50.23 € -1 %
Kúpiť
Seventeen Contradictions and the End of Capitalism
12.27 €
Kúpiť
The Guitar Handbook
34.17 € -6 %
Kúpiť
Clash of Civilizations and the Remaking of World Order
16.77 € -15 %
Kúpiť
Pastoralia
11.14 € -23 %
Kúpiť
Au Hasard Des Chemins: Poemes (1900)
29.66 €
Kúpiť
Shantaram
16.57 €
Kúpiť
Ikkitousen 11
11.25 €
Kúpiť
Januarbuch
13.19 € -5 %
Kúpiť
596 Birds of Europe
53.51 €
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Interactive Theorem Proving and Program Development

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 376 bodov

Anotácia knihy

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.