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

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Lennart Beringer
Kod Libristo: 01661818
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
247.94 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Książka Miękka
common.buy 114.63 zł
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Książka Miękka
common.buy 29.91 zł
ORACLES CHALDAIQUES GEMISTE PLETHON Książka binding.
common.buy 204.98 zł
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Książka Miękka
common.buy 65.74 zł
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Książka Miękka
common.buy 138.92 zł
Pokémon - Coloriages extraordinaires / Książka Miękka
common.buy 29.60 zł
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Książka Twarda
common.buy 106.50 zł
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Książka Książka
common.buy 58.01 zł
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Książka Miękka
common.buy 42.75 zł
cluny musee national moyen age Książka Książka
common.buy 121.05 zł
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Książka Miękka
common.buy 218.33 zł
Dunkelgraf Ludwig Bechstein / Książka Miękka
common.buy 151.17 zł
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Książka Miękka
common.buy 207.59 zł
Essais d'Impressions En Couleurs SANS AUTEUR / Książka Miękka
common.buy 58.01 zł
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Książka Miękka
common.buy 331.66 zł
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Książka Twarda
common.buy 60.62 zł
Obra-Jogo Rocha Aldene / Książka Miękka
common.buy 207.59 zł
Koshiki Contact Karatedo Olaf Lotze-Leoni / Książka Miękka
common.buy 38.54 zł
Internationale Projektfinanzierung Carola Schulz / Książka Miękka
common.buy 144.04 zł
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Książka Miękka
common.buy 72.57 zł
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Książka Miękka
common.buy 68.65 zł
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Książka Miękka
common.buy 68.65 zł

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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 Lennart Beringer, Amy Felty
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 419
EAN 9783642323461
ISBN 3642323464
Kod Libristo 01661818
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 650
Wymiary 155 x 235 x 25

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
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

Mogłoby Cię także zainteresować

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Książka Miękka
common.buy 247.94 zł
Combinatorial Mathematics III A.P. Street / Książka Miękka
common.buy 153.48 zł
Interactive Theorem Proving and Program Development Yves Bertot / Książka Twarda
common.buy 512.36 zł
Psychoanalysis, Sleep And Dreams Andre Tridon / Książka Miękka
common.buy 106.20 zł
Secret Geometry of the Dollar Ken McGrath / Książka Miękka
common.buy 96.76 zł
Allergies Stuart H Young MD / Książka Miękka
common.buy 81.80 zł
Animals Word Scramble: Book 1 Michael Stachiw / Książka Miękka
common.buy 39.94 zł
Rambling Rhymes Clare Crooke / Książka Miękka
common.buy 43.76 zł
What Is Personification? Robin Johnson / Książka Miękka
common.buy 40.95 zł
Human Rights and the Criminal Justice System Anthony Amatrudo / Książka Miękka
common.buy 327.65 zł
TOP
The Neville Goddard Collection Neville Goddard / Książka Miękka
common.buy 114.03 zł
Cognitive Psychology Eysenck / Książka Miękka
common.buy 287.19 zł
Tarot Spreads Jeffrey Price / Książka Miękka
common.buy 66.95 zł
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Książka Miękka
common.buy 49.88 zł
How to Find a Niche Market...And Make Money M Morgan / Książka Miękka
common.buy 32.41 zł
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Książka Miękka
common.buy 28.60 zł
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Książka Miękka
common.buy 76.78 zł
The Analysis of Mind Bertrand Russell / Książka Miękka
common.buy 66.75 zł
Criminal Procedure, Loose-Leaf Version Joel Samaha / Książka Miękka
common.buy 923.03 zł
Winged with Longing for Better Things Sylvia Sweeney / Książka Miękka
common.buy 69.86 zł
Typography Essentials Revised and Updated Ina Saltz / Książka Miękka
common.buy 91.84 zł
How to Read Chinese Drama Patricia Sieber / Książka Miękka
common.buy 198.65 zł
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Książka Miękka
common.buy 450.82 zł
Head Strong Michael D. Matthews / Książka Twarda
common.buy 187.61 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