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

Autor: Yves Bertot, Yves Bertot, P. Castéran

Książka w twardej okładce Kategoria: Programowanie komputera/ Rozwój oprogramowania Kategoria: Informatyka Kategoria: Przetwarzanie danych: zagadnienia ogólne Kategoria: Inżynieria oprogramowania Kategoria: Sztuczna inteligencja Kategoria: Architektura komputerowa i logiczny projekt Kategoria: Analiza i projekty systemów Kategoria: Logika matematyczna Cena internetowa: 108.83 EUR (ok. 462.04 zł) (aktualizacja cen dnia 18.10.2025) Darmowa wysyłka do Polski więcej Ocena czytelnikόw i komentarze: Amazon

Wraz z niniejszą książką, polecamy również następujące tytuły:

Theorem Proving in Higher Order Logics Cena: 351.99 zł 211.13 zł

An Illustrated Book of Bad Arguments Cena: 59.65 zł

Godel, Escher, Bach Cena: 99.77 zł

Distribution Logistics Cena: 645.23 zł 411.69 zł

Książki z kategorii Logika matematyczna

Więcej od książek

The Times Su Doku Book 1: 100 Challenging Puzzles from the Times Cena: 9.84 EUR 41.78 zł Pokaż szczegόły	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Cena: 13.00 EUR 55.19 zł Pokaż szczegόły
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Cena: 11.03 EUR 46.83 zł Pokaż szczegόły	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Cena: 11.06 EUR 46.96 zł Pokaż szczegόły
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Cena: 11.32 EUR 48.06 zł Pokaż szczegόły	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Cena: 10.66 EUR 45.26 zł Pokaż szczegόły
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Cena: 10.59 EUR 44.96 zł Pokaż szczegόły	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Cena: 11.30 EUR 47.97 zł Pokaż szczegόły
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Cena: 12.99 EUR 55.15 zł Pokaż szczegόły	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Cena: 10.29 EUR 43.69 zł Pokaż szczegόły
Bridge Secrets: Don'T Miss a Trick Cena: 11.15 EUR 47.34 zł Pokaż szczegόły	Limitless Mind: Learn, Lead and Live without Barriers Cena: 17.90 EUR 75.99 zł Pokaż szczegόły
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 16.24 EUR 68.95 zł Pokaż szczegόły	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 12.67 EUR 53.79 zł Pokaż szczegόły
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Cena: 15.18 EUR 64.45 zł Pokaż szczegόły	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Cena: 18.13 EUR 76.97 zł Pokaż szczegόły
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Cena: 21.13 EUR 89.71 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Cena: 29.54 EUR 125.41 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Cena: 28.62 EUR 121.51 zł Pokaż szczegόły	Math Proofs Demystified Cena: 19.67 EUR 0.00 EUR 83.51 zł ok. 0.00 zł Pokaż szczegόły