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

Interactive Theorem Proving

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Christian Urban
Kod Libristo: 09378411
Wydawnictwo Springer International Publishing AG, sierpień 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Harmony in Chopin David Damschroder / Miękka
common.buy 195.59 zł
God's Not Dead Adult Study Guide Rice Broocks / Miękka
common.buy 46.79 zł
Deus Comedieta Tade Bolade / Miękka
common.buy 56.47 zł
Poetry of Being Vaidehi Raipat / Miękka
common.buy 29.23 zł
And All for What? D.W.J. Cuddeford / Twarda
common.buy 212.56 zł
Klementina von Porretta Christoph Martin Wieland / Miękka
common.buy 71.24 zł
Zapowiedź
Khaqani, Poet-Philosopher of Medieval Persia Alireza Korangy / Miękka
common.buy 445.78 zł
Brooklyn Heights Sublet Jonah Cohen / Miękka
common.buy 114.46 zł
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Nuty
common.buy 105.77 zł
Strandgut Tanja Korf / Miękka
common.buy 100.88 zł
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Twarda
common.buy 418.23 zł
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Miękka
common.buy 199.48 zł
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Miękka
common.buy 142.00 zł

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Informacje o książce

Pełna nazwa Interactive Theorem Proving
Autor Christian Urban, Xingyuan Zhang
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 469
EAN 9783319221014
ISBN 3319221019
Kod Libristo 09378411
Wydawnictwo Springer International Publishing AG
Waga 7256
Wymiary 155 x 235 x 28

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja > Bezpieczeństwo sieciowe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Bezpieczeństwo informatyczne
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

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