Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Certified Programs and Proofs

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

Limba englezăengleză
Carte Carte broșată
Carte Certified Programs and Proofs Jean-Pierre Jouannaud
Codul Libristo: 01659274
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Carte Carte broșată
common.buy 265.32 lei
Top
Aquascaping Oliver Knott / Carte Copertă tare
common.buy 149.39 lei
Das Neue Testament Heinrich Ogilvie / Carte Copertă tare
common.buy 135.00 lei
Das kleine Gespenst Otfried Preußler / Carte Copertă tare
common.buy 60.77 lei
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Carte Carte broșată
common.buy 119.88 lei
Pluspunkte Beruf - A2-B1+ Joachim Becker / Carte Carte broșată
common.buy 151.58 lei
L'Era Cenozoica Giancarlo Varnier / E-book Adobe ePub DRM
common.buy 17.19 lei
Curând
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Carte Carte broșată
common.buy 308.69 lei
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Carte Carte broșată
common.buy 100.07 lei
Krutosť Nicola Lagioia / Carte Copertă tare
common.buy 98.09 lei
La poma Iwamura Kazuo / Carte Carte broșată
common.buy 85.27 lei
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Carte Carte broșată
common.buy 105.08 lei
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 / Carte Carte broșată
common.buy 163.88 lei
Adrian Flemming Marinus Lester Cerdic / Carte Carte broșată
common.buy 60.77 lei
Zásah Šípem Iva Šípová / Carte Copertă tare
common.buy 37.52 lei
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 / Carte Carte broșată
common.buy 55.97 lei
Top
Save Us Mona Kasten / Carte Carte broșată
common.buy 66.61 lei
24 Ore Marco Bartiromo / Carte Carte broșată
common.buy 59.52 lei
Estimular y aprender JESUS JARQUE GARCIA / Carte Carte broșată
common.buy 128.12 lei
Kunst - Das andere Memo-Spiel / Joc / Jucărie Joc
common.buy 64.94 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Certified Programs and Proofs
Autor Jean-Pierre Jouannaud, Zhong Shao
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 401
EAN 9783642253782
ISBN 3642253784
Codul Libristo 01659274
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 633
Dimensiuni 155 x 235 x 23

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Carte Carte broșată
common.buy 285.96 lei
English Dictionary Essential Collins Dictionaries / Carte Copertă tare
common.buy 66.40 lei
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Carte Carte broșată
common.buy 47.11 lei
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Carte Carte broșată
common.buy 116.96 lei
The Nightmare Feast Andrew Klavan / Carte Copertă tare
common.buy 137.19 lei
Leftin
Hand on the Wall Maureen Johnson / Carte Copertă tare
common.buy 40.44 lei
Narrative of a Blockade-Runner J WILKINSON / Carte Copertă tare
common.buy 212.57 lei
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Carte Copertă tare
common.buy 174.10 lei
Benjamin Banneker Katie Marsico / Carte Carte broșată
common.buy 66.61 lei
Queen in 3-D Brian May / Carte Copertă tare
common.buy 190.57 lei
Sinkholes / Carte Copertă tare
common.buy 181.50 lei
India's True Voice Alvin Boyd Kuhn / Carte Carte broșată
common.buy 195.16 lei
Euphony The Sound of Life Daniel Levy / Carte Carte broșată
common.buy 156.48 lei
Big Apple Patricia Mackin / Carte Carte broșată
common.buy 81.83 lei
Top
Star Wars: Darth Maul Cullen Bunn / Carte Carte broșată
common.buy 87.46 lei
Curând
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Carte Copertă tare
common.buy 118.53 lei
Ministry of Disturbance and Other SF H. Beam Piper / Carte Carte broșată
common.buy 80.06 lei
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Carte Carte broșată
common.buy 111.13 lei
Play Dates Leslie Sara Carroll / Carte Carte broșată
common.buy 73.18 lei
Top
Fragile World Kerby Rosanes / Carte Carte broșată
common.buy 60.98 lei
Rewiring Democracy Bruce Schneier / E-book Adobe ePub DRM
common.buy 165.86 lei
High Strength Steels Mingxin Huang / Carte Carte broșată
common.buy 1 429.22 lei
Top
ISE Fundamentals of Aerodynamics John Anderson / Carte Carte broșată
common.buy 392.30 lei
Rebellion in Patagonia Osvaldo Bayer / E-book Adobe ePub DRM
common.buy 131.98 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?