Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Lennart Beringer
Libristo kod: 01661818
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Cijeli opis
? points 135 b
55.84 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Knjiga Meki uvez
common.buy 27.00 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Knjiga Meki uvez
common.buy 6.77 €
ORACLES CHALDAIQUES GEMISTE PLETHON Knjiga binding.
common.buy 46.23 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Knjiga Meki uvez
common.buy 15.47 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Knjiga Meki uvez
common.buy 31.36 €
Pokémon - Coloriages extraordinaires / Knjiga Meki uvez
common.buy 6.67 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Knjiga Tvrdi uvez
common.buy 27.92 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Knjiga Knjiga
common.buy 13.65 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Knjiga Meki uvez
common.buy 10.11 €
cluny musee national moyen age Knjiga Knjiga
common.buy 27.31 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Knjiga Meki uvez
common.buy 51.49 €
Dunkelgraf Ludwig Bechstein / Knjiga Meki uvez
common.buy 35.71 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Knjiga Meki uvez
common.buy 48.96 €
Essais d'Impressions En Couleurs SANS AUTEUR / Knjiga Meki uvez
common.buy 13.65 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Knjiga Meki uvez
common.buy 78.20 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Knjiga Tvrdi uvez
common.buy 13.45 €
Obra-Jogo Rocha Aldene / Knjiga Meki uvez
common.buy 48.96 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Knjiga Meki uvez
common.buy 9.10 €
Internationale Projektfinanzierung Carola Schulz / Knjiga Meki uvez
common.buy 33.99 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Knjiga Meki uvez
common.buy 17.09 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Knjiga Meki uvez
common.buy 16.18 €
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Knjiga Meki uvez
common.buy 16.18 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 419
EAN 9783642323461
ISBN 3642323464
Libristo kod 01661818
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 650
Dimenzije 155 x 235 x 25

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer security
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Meki uvez
common.buy 55.84 €
Combinatorial Mathematics III A.P. Street / Knjiga Meki uvez
common.buy 36.21 €
Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Tvrdi uvez
common.buy 120.90 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Knjiga Meki uvez
common.buy 25.08 €
Secret Geometry of the Dollar Ken McGrath / Knjiga Meki uvez
common.buy 22.86 €
Allergies Stuart H Young MD / Knjiga Meki uvez
common.buy 19.32 €
Animals Word Scramble: Book 1 Michael Stachiw / Knjiga Meki uvez
common.buy 9.40 €
Rambling Rhymes Clare Crooke / Knjiga Meki uvez
common.buy 10.31 €
What Is Personification? Robin Johnson / Knjiga Meki uvez
common.buy 9.70 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Knjiga Meki uvez
common.buy 77.29 €
Top
The Neville Goddard Collection Neville Goddard / Knjiga Meki uvez
common.buy 26.90 €
Cognitive Psychology Eysenck / Knjiga Meki uvez
common.buy 67.78 €
Tarot Spreads Jeffrey Price / Knjiga Meki uvez
common.buy 15.77 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Knjiga Meki uvez
common.buy 11.73 €
How to Find a Niche Market...And Make Money M Morgan / Knjiga Meki uvez
common.buy 7.68 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Knjiga Meki uvez
common.buy 6.77 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Knjiga Meki uvez
common.buy 18.10 €
The Analysis of Mind Bertrand Russell / Knjiga Meki uvez
common.buy 15.77 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Knjiga Meki uvez
common.buy 205.28 €
Winged with Longing for Better Things Sylvia Sweeney / Knjiga Meki uvez
common.buy 16.48 €
Typography Essentials Revised and Updated Ina Saltz / Knjiga Meki uvez
common.buy 21.64 €
How to Read Chinese Drama Patricia Sieber / Knjiga Meki uvez
common.buy 46.84 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Knjiga Meki uvez
common.buy 106.33 €
Head Strong Michael D. Matthews / Knjiga Tvrdi uvez
common.buy 46.33 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun