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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 120.8 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.80 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 9-15 ημέρες

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

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

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

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

Χαρτόδετο

6.77 €

Obstbau E. Voges

Χαρτόδετο

17.90 €

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

Χαρτόδετο

40.16 €

Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener

Χαρτόδετο

16.18 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Χαρτόδετο

39.25 €

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

Χαρτόδετο

31.86 €

Nitra Vladimír Barta

Σκληρόδετο

33.88 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Βιβλίο

10.41 €

Nach Spanien Und Portugal H. Obersteiner

Χαρτόδετο

26.80 €

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

Σκληρόδετο

18.30 €

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

Χαρτόδετο

8.99 €

Haltestelle Brussel Hermann Bausinger

Χαρτόδετο

19.62 €

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

Χαρτόδετο

62.32 €

Politische Gesprache der Toten Anonymus

Χαρτόδετο

35.71 €

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

Χαρτόδετο

14.86 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

Audio CD

16.48 €

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

Χαρτόδετο

16.28 €

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

Χαρτόδετο

13.35 €

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη