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

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Mauricio Ayala-Rincón
Kod Libristo: 16771860
Wydawnictwo Springer International Publishing AG, sierpień 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Cały opis
? points 125 b
219.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Gra/Zabawka Gra
common.buy 333.97 zł
Tanie
Paris Zola / Książka Miękka
common.buy 43.76 zł
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Książka Miękka
common.buy 211.30 zł
Természetes spiritualitás Pál Ferenc / Książka Miękka
common.buy 46.57 zł
Zapowiedź
La Normandie gourmande en 48 recettes (FR) PERETTI / Książka Miękka
common.buy 42.95 zł
TOP
Mirai Nikki - New Edition 01 Josef Shanel / Książka Miękka
common.buy 50.58 zł
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio CD Audio
common.buy 49.38 zł
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Książka Książka
common.buy 126.68 zł
Terapeutické rodičovstvo Sarah Naish / Książka Miękka
common.buy 72.57 zł
Digitale Bildverarbeitung Martin Werner / Książka Miękka
common.buy 160.51 zł
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Książka Miękka
common.buy 153.28 zł
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Książka Miękka
common.buy 26.79 zł
Oeuvres Completes Tome 3, 2 Sophie Cottin / Książka Miękka
common.buy 94.05 zł
Book of Blessings Heb Raymond Cintas / Książka Twarda
common.buy 254.37 zł
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Książka Miękka
common.buy 65.84 zł
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Książka Miękka
common.buy 151.17 zł
Nessahira Esin Kiroglu / Książka Miękka
common.buy 64.34 zł
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Książka Miękka
common.buy 207.59 zł
Diagnose Algebraischen Denkens ALEXANDER MEYER / Książka Miękka
common.buy 286.09 zł
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio CD Audio
common.buy 80.10 zł
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Książka Miękka
common.buy 68.65 zł
Tout un zoo en pâte à modeler Oren / Książka binding.
common.buy 82.00 zł
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Książka Miękka
common.buy 151.17 zł

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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
Autor Mauricio Ayala-Rincón, César A. Mu?oz
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 532
EAN 9783319661063
ISBN 331966106X
Kod Libristo 16771860
Wydawnictwo Springer International Publishing AG
Waga 8248
Wymiary 155 x 235 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

In the Ocean Stephanie Fizer Coleman / Gra/Zabawka Gra
common.buy 67.95 zł
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Książka Miękka
common.buy 47.47 zł
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Książka Miękka
common.buy 81.80 zł
American Notes Rudyard Kipling / Książka Miękka
common.buy 28.60 zł
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Książka Miękka
common.buy 51.49 zł
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Wideo Blu-ray
common.buy 54.50 zł
Foxfire Book of Appalachian Cookery Sean Brock / Książka Miękka
common.buy 88.63 zł
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Książka Miękka
common.buy 162.21 zł
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Książka Miękka
common.buy 97.97 zł
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Książka Miękka
common.buy 66.95 zł
Heidegger on Art and Art Works J.J. Kockelmans / Książka Miękka
common.buy 654.30 zł
Seven Years of Darkness YOU-JEONG JEONG / Książka Miękka
common.buy 50.28 zł
TOP
Witchcraft. The Library of Esoterica Jessica Hundley / Książka Twarda
common.buy 115.33 zł
7-Figure Coach Tara Mullarkey / Książka Miękka
common.buy 48.17 zł
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 213.61 zł
Economics for Business John Sloman / Książka Miękka
common.buy 392.00 zł
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Książka Twarda
common.buy 82.00 zł
Engaging with Human Rights Evelyne Schmid / Książka Twarda
common.buy 136.11 zł
Third Act Encore Robert R. Blume / Książka Twarda
common.buy 206.38 zł
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Książka Miękka
common.buy 64.44 zł
The Substantive Law of the EU, 8e Barnard / Książka Miękka
common.buy 297.03 zł
TOP
Bad Bishop L.J. Shen / Książka Miękka
common.buy 41.85 zł
TOP
Dear Debbie Freida McFadden / Książka Miękka
common.buy 38.74 zł
Quiver Stephanie Spinner / Książka Miękka
common.buy 31.01 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