Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Certified Programs and Proofs Jean-Pierre Jouannaud
Κωδικός Libristo: 01659274
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Νοέμβριος 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Πλήρης περιγραφή
? points 125 b
51.73 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Βιβλίο Χαρτόδετο
common.buy 22.88 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Βιβλίο Χαρτόδετο
common.buy 28.85 €
L'Era Cenozoica Giancarlo Varnier / ebook Adobe ePub DRM
common.buy 3.23 €
Das kleine Gespenst Otfried Preußler / Βιβλίο Σκληρόδετο
common.buy 10.93 €
Das Neue Testament Heinrich Ogilvie / Βιβλίο Σκληρόδετο
common.buy 24.19 €
Τοπ
Aquascaping Oliver Knott / Βιβλίο Σκληρόδετο
common.buy 26.93 €
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Βιβλίο Χαρτόδετο
common.buy 50.62 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Βιβλίο Χαρτόδετο
common.buy 20.04 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Βιβλίο Χαρτόδετο
common.buy 18.01 €
Krutosť Nicola Lagioia / Βιβλίο Σκληρόδετο
common.buy 18.72 €
La poma Iwamura Kazuo / Βιβλίο Χαρτόδετο
common.buy 16.29 €
Les Élections Et Les Cahiers de Paris En 1789: Paris Hors Les Murs (Volume Publié Sous Le Patronage Du Conseil Général de la Seine Charles-Louis Chassin / Βιβλίο Χαρτόδετο
common.buy 31.18 €
Adrian Flemming Marinus Lester Cerdic / Βιβλίο Χαρτόδετο
common.buy 10.93 €
Zásah Šípem Iva Šípová / Βιβλίο Σκληρόδετο
common.buy 7.18 €
Aleman para ninos: Mi Papa Es El Mejor: Libro infantil ilustrado espa?ol-alemán (Edición bilingüe), bilingue aleman espa?ol, Aleman Libro Sujatha Lalgudi / Βιβλίο Χαρτόδετο
common.buy 10.62 €
Τοπ
Save Us Mona Kasten / Βιβλίο Χαρτόδετο
common.buy 11.94 €
24 Ore Marco Bartiromo / Βιβλίο Χαρτόδετο
common.buy 11.33 €
Kunst - Das andere Memo-Spiel / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 11.64 €
Estimular y aprender JESUS JARQUE GARCIA / Βιβλίο Χαρτόδετο
common.buy 24.39 €

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. §The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Certified Programs and Proofs
Συγγραφέας Jean-Pierre Jouannaud, Zhong Shao
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2011
Αριθμός σελίδων 401
EAN 9783642253782
ISBN 3642253784
Κωδικός Libristo 01659274
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 633
Διαστάσεις 155 x 235 x 23

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
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 > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Βιβλίο Σκληρόδετο
common.buy 175.78 €
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Βιβλίο Χαρτόδετο
common.buy 51.73 €
India's True Voice Alvin Boyd Kuhn / Βιβλίο Χαρτόδετο
common.buy 37.15 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Βιβλίο Χαρτόδετο
common.buy 22.27 €
The Nightmare Feast Andrew Klavan / Βιβλίο Σκληρόδετο
common.buy 26.12 €
Φθηνά
Hand on the Wall Maureen Johnson / Βιβλίο Σκληρόδετο
common.buy 7.69 €
Narrative of a Blockade-Runner J WILKINSON / Βιβλίο Σκληρόδετο
common.buy 38.37 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Βιβλίο Σκληρόδετο
common.buy 33.20 €
Benjamin Banneker Katie Marsico / Βιβλίο Χαρτόδετο
common.buy 12.04 €
Queen in 3-D Brian May / Βιβλίο Σκληρόδετο
common.buy 36.34 €
English Dictionary Essential Collins Dictionaries / Βιβλίο Σκληρόδετο
common.buy 11.84 €
Sinkholes / Βιβλίο Σκληρόδετο
common.buy 33.10 €
Euphony The Sound of Life Daniel Levy / Βιβλίο Χαρτόδετο
common.buy 29.86 €
Big Apple Patricia Mackin / Βιβλίο Χαρτόδετο
common.buy 15.58 €
Τοπ
Star Wars: Darth Maul Cullen Bunn / Βιβλίο Χαρτόδετο
common.buy 15.79 €
Manic Botanic Irina Vinnik / Βιβλίο Χαρτόδετο
common.buy 13.76 €
Ministry of Disturbance and Other SF H. Beam Piper / Βιβλίο Χαρτόδετο
common.buy 15.28 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Βιβλίο Χαρτόδετο
common.buy 23.48 €
Play Dates Leslie Sara Carroll / Βιβλίο Χαρτόδετο
common.buy 13.96 €
Τοπ
Fragile World Kerby Rosanes / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Rewiring Democracy Bruce Schneier / ebook Adobe ePub DRM
common.buy 31.68 €
High Strength Steels Mingxin Huang / Βιβλίο Χαρτόδετο
common.buy 272.38 €
Τοπ
ISE Fundamentals of Aerodynamics John Anderson / Βιβλίο Χαρτόδετο
common.buy 70.97 €
Rebellion in Patagonia Osvaldo Bayer / ebook Adobe ePub DRM
common.buy 25.10 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;