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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

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 184 b
75.29 € včetně DPH
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Lambda Calculus with Types Henk Barendregt / Książka Twarda
common.buy 93.29 €
TOP
Types and Programming Languages Pierce / Książka Twarda
common.buy 91.49 €
Four Pillars of Geometry John Stillwell / Książka Twarda
common.buy 35.49 €
TOP
Computer Networks, Global Edition Andrew Tanenbaum / Książka Miękka
common.buy 76.09 €
TOP
Rust For Rustaceans Jon Gjengset / Książka Miękka
common.buy 29.29 €
Prisma Club Prisma Team / Książka Miękka
common.buy 23.29 €

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 106.19 €
Let Over Lambda Doug Hoyte / Książka Miękka
common.buy 34.99 €
Japanese Management in the Low Growth Era Daniel Dirks / Książka Miękka
common.buy 90.79 €
Zariskian Filtrations i Huishi / Książka Twarda
common.buy 45.49 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Książka Miękka
common.buy 45.49 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Książka Twarda
common.buy 22.69 €
TOP
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Książka Miękka
common.buy 26.19 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Książka Miękka
common.buy 30.79 €
TOP
Berserk Deluxe Volume 7 Kentaro Miura / Książka Twarda
common.buy 32.29 €
TOP
Outwitting the Devil Napoleon Hill / Książka Miękka
common.buy 11.49 €
Fence Vol. 1 C.S. Pacat / Książka Miękka
common.buy 6.99 €
TOP
Art of Noticing Rob Walker / Książka Twarda
common.buy 13.49 €
Grumpy Monkey Freshly Squeezed Lang / Książka Twarda
common.buy 7.29 €
Poker Satellite Strategy Dara O'Kearney / Książka Miękka
common.buy 18.59 €
TOP
The Good Karma Tarot Kerry Ward / Prasa Karty
common.buy 15.09 €
TOP
Practical Engine Airflow Baechtel John Baechtel / Książka Miękka
common.buy 26.39 €
TOP
RaW Hero, Vol. 1 Akira Hiramoto / Książka Miękka
common.buy 9.79 €
Einstein's Fridge Paul Sen / Książka Miękka
common.buy 9.19 €
Beginning x64 Assembly Programming Jo Van Hoey / Książka Miękka
common.buy 27.39 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Książka Miękka
common.buy 17.29 €
TOP
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Książka Miękka
common.buy 11.29 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Książka Twarda
common.buy 10.89 €
TOP
Tales from the Loop Simon Stalenhag / Książka Twarda
common.buy 20.99 €
Understanding Central Europe Marcin Moskalewicz / Książka Miękka
common.buy 60.99 €

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