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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Matt Kaufmann
Codul Libristo: 01656145
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Descrierea completă
? points 292 b
632.94 lei
În depozitul extern în cantități mici Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Obstbau E. Voges / Carte Carte broșată
common.buy 93.78 lei
Haltestelle Brussel Hermann Bausinger / Carte Carte broșată
common.buy 102.62 lei
Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue / Carte Carte broșată
common.buy 320.89 lei
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Carte Carte broșată
common.buy 59.16 lei
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Carte Carte broșată
common.buy 71.22 lei
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Carte Carte broșată
common.buy 166.68 lei
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Carte Carte
common.buy 48.76 lei
Aufsuchende Soziale Arbeit Barbara Bräutigam / Carte Carte broșată
common.buy 159.40 lei
Curând
EL CORAZON DEL GUERRERO DEL SOL TAN / Carte Carte broșată
common.buy 99.19 lei
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Carte Carte broșată
common.buy 205.46 lei
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Carte Carte broșată
common.buy 222.83 lei
Nitra Vladimír Barta / Carte Copertă tare
common.buy 178.22 lei
Nach Spanien Und Portugal H. Obersteiner / Carte Carte broșată
common.buy 140.26 lei
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Carte Carte broșată
common.buy 35.76 lei
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Carte Copertă tare
common.buy 96.18 lei
OTRO CUENTO NAVIDEÑO MERINO VERDUGO / Carte Carte broșată
common.buy 56.76 lei
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Carte Carte broșată
common.buy 47.41 lei
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio CD
common.buy 92.02 lei
Politische Gesprache der Toten Anonymus / Carte Carte broșată
common.buy 186.85 lei
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Carte Carte broșată
common.buy 78.19 lei
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Carte Carte broșată
common.buy 372.67 lei

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 495
EAN 9783642140518
ISBN 3642140513
Codul Libristo 01656145
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 759
Dimensiuni 155 x 238 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Medicine & Nursing > Clinical & internal medicine > Diseases & disorders > Immunology
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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
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 Theorem Proving and Program Development Yves Bertot / Carte Copertă tare
common.buy 633.15 lei
Interactive Video Riad Hammoud / Carte Carte broșată
common.buy 539.67 lei
Experimental Robotics Oussama Khatib / Carte Carte broșată
common.buy 1 077.68 lei
Interactive Theorem Proving Marko Van Eekelen / Carte Carte broșată
common.buy 306.02 lei
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Carte Carte broșată
common.buy 306.02 lei
You Bantering Me? Chris Hughes / Carte Carte broșată
common.buy 85.26 lei
Mouthful of Tongues Paul Di Filippo / Carte Copertă tare
common.buy 163.45 lei
Rite of Rejection Sarah Negovetich / Carte Carte broșată
common.buy 66.85 lei
Oblomov Ivan Aleksandrovich Goncharov / Carte Carte broșată
common.buy 56.97 lei
Long Life in Florida Hilton Hotema / Carte Carte broșată
common.buy 173.64 lei
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Carte Carte broșată
common.buy 71.84 lei
Annihilation Jeff VanderMeer / Carte Carte broșată
common.buy 74.44 lei
Classification, Disease and Evidence Philippe Huneman / Carte Carte broșată
common.buy 270.66 lei
From The Sun To The Stars James B. Kaler / Carte Carte broșată
common.buy 190.07 lei
Kaylynn's Reading Log Martha Day Zschock / Carte Carte broșată
common.buy 46.78 lei
Village Heroes Meet the Dragon Patti Vincent / Carte Carte broșată
common.buy 90.04 lei
Camping Keith Baker / Carte Carte broșată
common.buy 31.60 lei
Sleeping on a Wire David Grossman / Carte Carte broșată
common.buy 112.40 lei
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Carte Copertă tare
common.buy 178.64 lei
The Last Midwife Sandra Dallas / Carte Carte broșată
common.buy 116.45 lei
Chakradance Natalie Southgate / E-book Adobe ePub DRM
common.buy 87.86 lei
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Carte Copertă tare
common.buy 678.38 lei
Hidden in Blackness Adaurennaya C Onyewuenyi / Carte Copertă tare
common.buy 700.12 lei
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Carte Carte broșată
common.buy 70.18 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?