Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Interactive Theorem Proving

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

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Lennart Beringer
Codul Libristo: 01661818
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Descrierea completă
? points 141 b
306.29 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Carte Carte broșată
common.buy 149.03 lei
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Carte Carte broșată
common.buy 37.02 lei
ORACLES CHALDAIQUES GEMISTE PLETHON Carte binding.
common.buy 253.35 lei
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Carte Carte broșată
common.buy 85.07 lei
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Carte Carte broșată
common.buy 171.70 lei
Pokémon - Coloriages extraordinaires / Carte Carte broșată
common.buy 36.60 lei
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Carte Copertă tare
common.buy 153.50 lei
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Carte Carte
common.buy 82.26 lei
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Carte Carte broșată
common.buy 56.05 lei
cluny musee national moyen age Carte Carte
common.buy 149.66 lei
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Carte Carte broșată
common.buy 283.10 lei
Dunkelgraf Ludwig Bechstein / Carte Carte broșată
common.buy 197.91 lei
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Carte Carte broșată
common.buy 271.55 lei
Essais d'Impressions En Couleurs SANS AUTEUR / Carte Carte broșată
common.buy 75.19 lei
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Carte Carte broșată
common.buy 434.01 lei
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Carte Copertă tare
common.buy 74.98 lei
Obra-Jogo Rocha Aldene / Carte Carte broșată
common.buy 271.55 lei
Koshiki Contact Karatedo Olaf Lotze-Leoni / Carte Carte broșată
common.buy 50.43 lei
Internationale Projektfinanzierung Carola Schulz / Carte Carte broșată
common.buy 188.45 lei
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Carte Carte broșată
common.buy 94.84 lei
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Carte Carte broșată
common.buy 89.64 lei
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Carte Carte broșată
common.buy 89.64 lei
Angličtina pro překladatele Jarmila Prošvicová / Carte Carte
common.buy 47.42 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 419
EAN 9783642323461
ISBN 3642323464
Codul Libristo 01661818
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 650
Dimensiuni 155 x 235 x 25

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Carte Carte broșată
common.buy 306.29 lei
Combinatorial Mathematics III A.P. Street / Carte Carte broșată
common.buy 199.89 lei
Interactive Theorem Proving and Program Development Yves Bertot / Carte Copertă tare
common.buy 668.34 lei
Psychoanalysis, Sleep And Dreams Andre Tridon / Carte Carte broșată
common.buy 137.49 lei
Secret Geometry of the Dollar Ken McGrath / Carte Carte broșată
common.buy 125.01 lei
Allergies Stuart H Young MD / Carte Carte broșată
common.buy 106.29 lei
Animals Word Scramble: Book 1 Michael Stachiw / Carte Carte broșată
common.buy 51.99 lei
Rambling Rhymes Clare Crooke / Carte Carte broșată
common.buy 56.99 lei
What Is Personification? Robin Johnson / Carte Carte broșată
common.buy 53.45 lei
Human Rights and the Criminal Justice System Anthony Amatrudo / Carte Carte broșată
common.buy 422.99 lei
Top
The Neville Goddard Collection Neville Goddard / Carte Carte broșată
common.buy 147.89 lei
Cognitive Psychology Eysenck / Carte Carte broșată
common.buy 374.00 lei
Tarot Spreads Jeffrey Price / Carte Carte broșată
common.buy 87.67 lei
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Carte Carte broșată
common.buy 64.79 lei
How to Find a Niche Market...And Make Money M Morgan / Carte Carte broșată
common.buy 42.22 lei
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Carte Carte broșată
common.buy 37.02 lei
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Carte Carte broșată
common.buy 99.63 lei
The Analysis of Mind Bertrand Russell / Carte Carte broșată
common.buy 86.84 lei
Criminal Procedure, Loose-Leaf Version Joel Samaha / Carte Carte broșată
common.buy 1 133.14 lei
Winged with Longing for Better Things Sylvia Sweeney / Carte Carte broșată
common.buy 91.83 lei
Typography Essentials Revised and Updated Ina Saltz / Carte Carte broșată
common.buy 120.64 lei
How to Read Chinese Drama Patricia Sieber / Carte Carte broșată
common.buy 255.53 lei
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Carte Carte broșată
common.buy 586.48 lei
Head Strong Michael D. Matthews / Carte Copertă tare
common.buy 243.05 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?