Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 120.77 EUR
Availability: InStock
Author: Matt Kaufmann
ISBN: 9783642140518

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

Matt Kaufmann

Lawrence C. Paulson

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01656145

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούνιος 2010

This book constitutes the refereed proceedings of the First International Conference on Interactive... Πλήρης περιγραφή

Κωδικός Libristo: 01656145

292 b

120.77 €

Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 14-21 ημέρες

Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Obstbau E. Voges

Χαρτόδετο

17.89 €

Haltestelle Brussel Hermann Bausinger

Χαρτόδετο

19.61 €

Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue

Χαρτόδετο

57.85 €

Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur

Χαρτόδετο

12.53 €

Une Page de l'Histoire de Napoleon 1er Le Moine-O

Χαρτόδετο

15.16 €

Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger

Χαρτόδετο

31.85 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Βιβλίο

9.30 €

Aufsuchende Soziale Arbeit Barbara Bräutigam

Χαρτόδετο

30.44 €

EL CORAZON DEL GUERRERO DEL SOL TAN

Χαρτόδετο

19.01 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Χαρτόδετο

39.24 €

Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen

Χαρτόδετο

40.15 €

Nitra Vladimír Barta

Σκληρόδετο

33.98 €

Nach Spanien Und Portugal H. Obersteiner

Χαρτόδετο

26.80 €

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze

Χαρτόδετο

6.77 €

Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков

Σκληρόδετο

18.30 €

OTRO CUENTO NAVIDEÑO MERINO VERDUGO

Χαρτόδετο

10.81 €

Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles

Χαρτόδετο

8.99 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

Audio CD

16.48 €

Politische Gesprache der Toten Anonymus

Χαρτόδετο

35.70 €

Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch

Χαρτόδετο

14.86 €

Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo

Χαρτόδετο

78.18 €

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.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Interactive Theorem Proving

Συγγραφέας Matt Kaufmann, Lawrence C. Paulson

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2010

Αριθμός σελίδων 495

EAN 9783642140518

ISBN 3642140513

Κωδικός Libristo 01656145

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 759

Διαστάσεις 155 x 238 x 33

Κατηγορία

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

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη