phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD 25.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł InPost 13.99 zł
phone Kontakt phoneJak kupować

Interactive Theorem Proving and Program Development

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...
Wyprzedaż Wyprzedaż
315.92 zł
Dostępna w małych ilościach Wysyłamy do 24 godzin

30 dni na zwrot towaru

Klienci kupili także

Types and Programming Languages Pierce / Twarda
common.buy 451.10 zł
Lambda Calculus with Types Henk Barendregt / Twarda
common.buy 496.67 zł
Four Pillars of Geometry John Stillwell / Twarda
common.buy 293.54 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.

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ć

TOP Zapowiedź
Delicious in Dungeon, Vol. 1 Ryoko Kui / Miękka
common.buy 63.28 zł
TOP
Tales from the Loop Simon Stalenhag / Twarda
common.buy 116.95 zł
TOP
The Good Karma Tarot Kerry Ward / Miękka
common.buy 100.03 zł
TOP
Nevernight Jay Kristoff / Miękka
common.buy 44.65 zł
TOP
Torch Against the Night Sabaa Tahir / Miękka
common.buy 46.37 zł
TOP
Fence Vol. 1 C.S. Pacat / Miękka
common.buy 36.24 zł
TOP
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits / Twarda
common.buy 71.07 zł
TOP
Infinite Powers / Miękka
common.buy 49.71 zł
Dare to Sketch Felix Scheinberger / Twarda
common.buy 100.24 zł
If I Had Your Face / Miękka
common.buy 74.01 zł
Age of Cryptocurrency Paul Vigna / Miękka
common.buy 68.34 zł
Beginning x64 Assembly Programming Jo Van Hoey / Miękka
common.buy 178.81 zł
How to Set Up an Flr Georgia Ivey Green / Miękka
common.buy 98.82 zł
Mary Shelley Horror Stories Mary Shelley / Twarda
common.buy 93.86 zł
Hot and Steamy Volume 2 (Hentai Manga) Hiroshi Itaba / Miękka
common.buy 77.15 zł
House of Flowers ASHLEE JANE / Twarda
common.buy 113.40 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