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

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

Δωρεάν αποστολή με 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: 01664057
Price: 51.63 EUR
Availability: InStock
Author: Sandrine Blazy
ISBN: 9783642396335

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Sandrine Blazy

Christine Paulin-Mohring

David Pichardie

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01664057

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

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

Κωδικός Libristo: 01664057

125 b

51.63 €

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

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

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

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

Diccionario visual inglés

Χαρτόδετο

13.83 €

Zpět o sto let na výlet Renata Šindelářová

Χαρτόδετο

3.43 €

metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery

Χαρτόδετο

14.04 €

TEMARIO DE TROMBON VICENTE MONZO

Χαρτόδετο

327.50 €

Angielski. Przewodnik językowy Patrycja Karnik

Χαρτόδετο

13.23 €

Clef Junich Tanizaki

Χαρτόδετο

12.02 €

Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW

Χαρτόδετο

25.25 €

Coches muy antiguos Ruiz Palacio

Χαρτόδετο

19.70 €

Der Kreis Husum K. Sönnichsen

Χαρτόδετο

24.14 €

Kostenfalle Messe? Anja Steinrücken

Χαρτόδετο

51.63 €

Theaterhandwerk Alan Ayckbourn

Χαρτόδετο

19.70 €

Aus der Praxis der Zuckerindustrie Otto Mittelstaedt

Χαρτόδετο

13.53 €

Laubgewind Jakob Chr. Heer

Χαρτόδετο

26.77 €

Brasilien im IBSA-Dialogforum Claudia Liebeswar

Χαρτόδετο

16.16 €

Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke

Χαρτόδετο

16.16 €

USA und der internationale Klimaschutz Jan Hollmann

Χαρτόδετο

16.16 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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

EWA KASP για

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

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

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

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

Συγγραφέας Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Γλώσσα

Αγγλική

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

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

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

EAN 9783642396335

ISBN 364239633X

Κωδικός Libristo 01664057

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

Βάρος 777

Διαστάσεις 155 x 235 x 29

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

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

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

Είναι εύκολο

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

Μπορεί να σας ενδιαφέρει

Interactive Theorem Proving Gerwin Klein

Χαρτόδετο

51.63 €

Horizons in Cancer Research Hiroto S Watanabe

Σκληρόδετο

321.84 €

Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga

Χαρτόδετο

13.73 €

Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter

Σκληρόδετο

41.12 €