Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving and Program Development Yves Bertot
Kod Libristo: 02129635
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 207 b
363.18 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Lambda Calculus with Types Henk Barendregt / Książka Twarda
common.buy 464.47 zł
Types and Programming Languages Pierce / Książka Twarda
common.buy 442.99 zł
Four Pillars of Geometry John Stillwell / Książka Twarda
common.buy 171.35 zł
Computer Networks, Global Edition Andrew Tanenbaum / Książka Miękka
common.buy 459.25 zł
TOP
Rust For Rustaceans Jon Gjengset / Książka Miękka
common.buy 146.65 zł
TOP
Prisma Club Prisma Team / Książka Miękka
common.buy 122.46 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Interactive Theorem Proving and Program Development
Autor Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 472
EAN 9783642058806
ISBN 3642058809
Kod Libristo 02129635
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 748
Wymiary 155 x 235 x 26

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Interactive Theorem Proving and Program Development Yves Bertot / Książka Twarda
common.buy 512.36 zł
Let Over Lambda Doug Hoyte / Książka Miękka
common.buy 174.36 zł
A Lambda Calculus Satellite Giulio Manzonetto / Książka Miękka
common.buy 140.33 zł
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Książka Miękka
common.buy 119.45 zł
Interactive Television Demystified Jerry Whitaker / Książka Miękka
common.buy 194.64 zł
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Książka Twarda
common.buy 114.03 zł
An Introduction to Classical and Modal Logics Adam Bjorndahl / Książka Miękka
common.buy 139.33 zł
Understanding Central Europe Marcin Moskalewicz / Książka Miękka
common.buy 279.26 zł
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Książka Miękka
common.buy 85.72 zł
TOP
Berserk Deluxe Volume 7 Kentaro Miura / Książka Twarda
common.buy 172.05 zł
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Książka Twarda
common.buy 57.61 zł
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Książka Miękka
common.buy 55.40 zł
TOP
Tales from the Loop Simon Stalenhag / Książka Twarda
common.buy 100.07 zł
TOP
The Good Karma Tarot Kerry Ward / Prasa Karty
common.buy 80.40 zł
Armenian History Captivating History / Książka Miękka
common.buy 66.95 zł
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Książka Miękka
common.buy 232.38 zł
TOP
Infinite Powers Steven (Author) Strogatz / Książka Miękka
common.buy 44.36 zł
TOP
RaW Hero, Vol. 1 Akira Hiramoto / Książka Miękka
common.buy 51.49 zł
Beginning x64 Assembly Programming Jo Van Hoey / Książka Miękka
common.buy 144.75 zł
Programming with Types Vlad Riscutia / Książka Miękka
common.buy 230.07 zł
Einstein's Fridge Paul Sen / Książka Miękka
common.buy 45.87 zł
Practical Engine Airflow Baechtel John Baechtel / Książka Miękka
common.buy 137.02 zł
Poker Satellite Strategy Dara O'Kearney / Książka Miękka
common.buy 98.07 zł
TOP
Art of Noticing Rob Walker / Książka Twarda
common.buy 67.65 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo