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

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

Δωρεάν αποστολή με 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: 01661818
Price: 58.47 EUR
Availability: InStock
Author: Lennart Beringer
ISBN: 9783642323461

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

Lennart Beringer

Amy Felty

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01661818

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

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

Κωδικός Libristo: 01661818

141 b

58.47 €

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

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

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

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

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca

Χαρτόδετο

27.00 €

Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Βιβλίο

Χαρτόδετο

7.07 €

ORACLES CHALDAIQUES GEMISTE PLETHON Βιβλίο

binding.

48.35 €

REGIA AERONAUTICA - Raid e missioni speciali Robert Robison

Χαρτόδετο

16.28 €

EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ

Χαρτόδετο

32.77 €

Pokémon - Coloriages extraordinaires

Χαρτόδετο

6.97 €

Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe

Σκληρόδετο

29.33 €

BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford

Βιβλίο

13.65 €

Ronaldo - Fotbalové ikony (komiks) Katarína Jančová

Χαρτόδετο

10.71 €

cluny musee national moyen age Βιβλίο

Βιβλίο

28.52 €

Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston

Χαρτόδετο

54.02 €

Dunkelgraf Ludwig Bechstein

Χαρτόδετο

35.71 €

Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo

Χαρτόδετο

48.96 €

Essais d'Impressions En Couleurs SANS AUTEUR

Χαρτόδετο

14.36 €

Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor

Χαρτόδετο

78.20 €

Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges

Σκληρόδετο

14.26 €

Obra-Jogo Rocha Aldene

Χαρτόδετο

48.96 €

Koshiki Contact Karatedo Olaf Lotze-Leoni

Χαρτόδετο

9.10 €

Internationale Projektfinanzierung Carola Schulz

Χαρτόδετο

33.99 €

Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil

Χαρτόδετο

17.09 €

Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm

Χαρτόδετο

16.18 €

August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast

Χαρτόδετο

16.18 €

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.

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

EWA KASP για

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

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

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

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

Συγγραφέας Lennart Beringer, Amy Felty

Γλώσσα

Αγγλική

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

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

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

EAN 9783642323461

ISBN 3642323464

Κωδικός Libristo 01661818

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

Βάρος 650

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

Κατηγορία

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

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

Είναι εύκολο

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