A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Certified Programs and Proofs

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Certified Programs and Proofs Jean-Pierre Jouannaud
Libristo kód: 01659274
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Teljes leírás
? points 136 b
19 777 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Könyv Puha kötésű
common.buy 8 056 Ft
Pluspunkte Beruf - A2-B1+ Joachim Becker / Könyv Puha kötésű
common.buy 10 137 Ft
L'Era Cenozoica Giancarlo Varnier / E-könyv Adobe ePub DRM
common.buy 1 167 Ft
Das kleine Gespenst Otfried Preußler / Könyv Kemény kötésű
common.buy 4 207 Ft
Das Neue Testament Heinrich Ogilvie / Könyv Kemény kötésű
common.buy 9 365 Ft
Toplistás
Aquascaping Oliver Knott / Könyv Kemény kötésű
common.buy 10 357 Ft
Hamarosan
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Könyv Puha kötésű
common.buy 21 366 Ft
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Könyv Puha kötésű
common.buy 17 784 Ft
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Könyv Puha kötésű
common.buy 7 018 Ft
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Könyv Puha kötésű
common.buy 6 931 Ft
Krutosť Nicola Lagioia / Könyv Kemény kötésű
common.buy 6 595 Ft
La poma Iwamura Kazuo / Könyv Puha kötésű
common.buy 5 737 Ft
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 / Könyv Puha kötésű
common.buy 11 303 Ft
Adrian Flemming Marinus Lester Cerdic / Könyv Puha kötésű
common.buy 4 193 Ft
Zásah Šípem Iva Šípová / Könyv Kemény kötésű
common.buy 2 522 Ft
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 / Könyv Puha kötésű
common.buy 3 858 Ft
Toplistás
Save Us Mona Kasten / Könyv Puha kötésű
common.buy 4 630 Ft
24 Ore Marco Bartiromo / Könyv Puha kötésű
common.buy 4 106 Ft
Kunst - Das andere Memo-Spiel / Játék Játék
common.buy 4 501 Ft
Estimular y aprender JESUS JARQUE GARCIA / Könyv Puha kötésű
common.buy 8 566 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Certified Programs and Proofs
Szerző Jean-Pierre Jouannaud, Zhong Shao
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 401
EAN 9783642253782
ISBN 3642253784
Libristo kód 01659274
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 633
Méretek 155 x 235 x 23

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Könyv Kemény kötésű
common.buy 63 589 Ft
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Könyv Puha kötésű
common.buy 19 777 Ft
India's True Voice Alvin Boyd Kuhn / Könyv Puha kötésű
common.buy 13 457 Ft
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Könyv Puha kötésű
common.buy 8 056 Ft
The Nightmare Feast Andrew Klavan / Könyv Kemény kötésű
common.buy 9 539 Ft
Toplistás
Hand on the Wall Maureen Johnson / Könyv Kemény kötésű
common.buy 3 817 Ft
Narrative of a Blockade-Runner J WILKINSON / Könyv Kemény kötésű
common.buy 14 711 Ft
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Könyv Kemény kötésű
common.buy 12 015 Ft
Benjamin Banneker Katie Marsico / Könyv Puha kötésű
common.buy 4 616 Ft
Queen in 3-D Brian May / Könyv Kemény kötésű
common.buy 13 241 Ft
English Dictionary Essential Collins Dictionaries / Könyv Kemény kötésű
common.buy 4 455 Ft
Sinkholes / Könyv Kemény kötésű
common.buy 12 497 Ft
Euphony The Sound of Life Daniel Levy / Könyv Puha kötésű
common.buy 10 807 Ft
Big Apple Patricia Mackin / Könyv Puha kötésű
common.buy 5 649 Ft
Toplistás
Star Wars: Darth Maul Cullen Bunn / Könyv Puha kötésű
common.buy 6 058 Ft
Manic Botanic Irina Vinnik / Könyv Puha kötésű
common.buy 4 965 Ft
Ministry of Disturbance and Other SF H. Beam Piper / Könyv Puha kötésű
common.buy 5 548 Ft
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Könyv Puha kötésű
common.buy 7 881 Ft
Play Dates Leslie Sara Carroll / Könyv Puha kötésű
common.buy 5 071 Ft
Toplistás
Fragile World Kerby Rosanes / Könyv Puha kötésű
common.buy 4 253 Ft
Rewiring Democracy Bruce Schneier / E-könyv Adobe ePub DRM
common.buy 11 129 Ft
High Strength Steels Mingxin Huang / Könyv Puha kötésű
common.buy 98 123 Ft
ISE Fundamentals of Aerodynamics John Anderson / Könyv Puha kötésű
common.buy 27 121 Ft
Factory Town Jon Bassoff / Hangoskönyv MP3
common.buy 6 017 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?