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

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

hardback Kategorie: Computer Programming / vývoj softwaru Kategorie: Počítačová věda Kategorie: Computing: Obecné Kategorie: Softwarové inženýrství Kategorie: Umělá inteligence Kategorie: Computer Architecture & Logic design Kategorie: Systémová analýza a design Kategorie: Matematická logika Naše cena: 107.61 EUR (cca 2608 Kč) (cena aktualizována 13.11.2025) Doprava zdarma do České republiky a na Slovensko více Komentáře čtenářů a knižní recenze: Amazon

Společně s touto kniho zároveň doporučujeme tyto knihy:

Geometry of Continued Fractions Cena: 1964 Kč 1956 Kč

Distribution Logistics Cena: 3684 Kč 2324 Kč

Theorem Proving in Higher Order Logics Cena: 2010 Kč 1192 Kč

Interactive Theorem Proving and Program Development Cena: 1557 Kč

Knihy z kategorie Matematická logika

Více než knih

The Times Su Doku Book 1: 100 Challenging Puzzles from the Times Cena: 10.43 EUR cca 253 Kč Podrobnosti o knize	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Cena: 12.85 EUR cca 311 Kč Podrobnosti o knize
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Cena: 10.73 EUR cca 260 Kč Podrobnosti o knize	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Cena: 10.75 EUR cca 261 Kč Podrobnosti o knize
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Cena: 10.50 EUR cca 255 Kč Podrobnosti o knize	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Cena: 10.53 EUR cca 255 Kč Podrobnosti o knize
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Cena: 10.48 EUR cca 254 Kč Podrobnosti o knize	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Cena: 10.98 EUR cca 266 Kč Podrobnosti o knize
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Cena: 12.85 EUR cca 311 Kč Podrobnosti o knize	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Cena: 10.17 EUR cca 247 Kč Podrobnosti o knize
Bridge Secrets: Don'T Miss a Trick Cena: 10.85 EUR cca 263 Kč Podrobnosti o knize	Limitless Mind: Learn, Lead and Live without Barriers Cena: 17.51 EUR cca 424 Kč Podrobnosti o knize
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 16.06 EUR cca 389 Kč Podrobnosti o knize	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 12.53 EUR cca 304 Kč Podrobnosti o knize
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Cena: 15.90 EUR cca 385 Kč Podrobnosti o knize	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Cena: 17.93 EUR cca 435 Kč Podrobnosti o knize
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Cena: 20.89 EUR cca 506 Kč Podrobnosti o knize	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Cena: 29.21 EUR cca 708 Kč Podrobnosti o knize
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Cena: 28.83 EUR cca 699 Kč Podrobnosti o knize	Math Proofs Demystified Cena: 19.67 EUR 0.00 EUR cca 477 Kč cca 0 Kč Podrobnosti o knize