Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Certified Programs and Proofs

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Certified Programs and Proofs Jean-Pierre Jouannaud
Libristo kód: 01659274
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Kniha Brožovaná
common.buy 50.53 €
Top
Aquascaping Oliver Knott / Kniha Pevná
common.buy 26.93 €
Das Neue Testament Heinrich Ogilvie / Kniha Pevná
common.buy 24.20 €
Das kleine Gespenst Otfried Preußler / Kniha Pevná
common.buy 10.93 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Kniha Brožovaná
common.buy 22.88 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Kniha Brožovaná
common.buy 27.44 €
L'Era Cenozoica Giancarlo Varnier / E-kniha Adobe ePub DRM
common.buy 3.23 €
Pripravujeme
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Kniha Brožovaná
common.buy 55.70 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Kniha Brožovaná
common.buy 18.02 €
Krutosť Nicola Lagioia / Kniha Pevná
common.buy 14.17 €
La poma Iwamura Kazuo / Kniha Brožovaná
common.buy 16.30 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Kniha Brožovaná
common.buy 20.04 €
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 / Kniha Brožovaná
common.buy 28.35 €
Adrian Flemming Marinus Lester Cerdic / Kniha Brožovaná
common.buy 10.93 €
Zásah Šípem Iva Šípová / Kniha Pevná
common.buy 6.47 €
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 / Kniha Brožovaná
common.buy 9.61 €
Top
Save Us Mona Kasten / Kniha Brožovaná
common.buy 11.94 €
24 Ore Marco Bartiromo / Kniha Brožovaná
common.buy 10.32 €
Estimular y aprender JESUS JARQUE GARCIA / Kniha Brožovaná
common.buy 24.40 €
Kunst - Das andere Memo-Spiel / Hra/Hračka Hra
common.buy 11.64 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Certified Programs and Proofs
Autor Jean-Pierre Jouannaud, Zhong Shao
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 401
EAN 9783642253782
ISBN 3642253784
Libristo kód 01659274
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 633
Rozmery 155 x 235 x 23

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Kniha Brožovaná
common.buy 51.75 €
English Dictionary Essential Collins Dictionaries / Kniha Pevná
common.buy 11.64 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Kniha Brožovaná
common.buy 8.09 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Kniha Brožovaná
common.buy 20.35 €
The Nightmare Feast Andrew Klavan / Kniha Pevná
common.buy 23.08 €
Lacno
Hand on the Wall Maureen Johnson / Kniha Pevná
common.buy 7.69 €
Narrative of a Blockade-Runner J WILKINSON / Kniha Pevná
common.buy 38.38 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Kniha Pevná
common.buy 30.07 €
Benjamin Banneker Katie Marsico / Kniha Brožovaná
common.buy 12.04 €
Queen in 3-D Brian May / Kniha Pevná
common.buy 29.87 €
Sinkholes / Kniha Pevná
common.buy 33.11 €
India's True Voice Alvin Boyd Kuhn / Kniha Brožovaná
common.buy 33.72 €
Euphony The Sound of Life Daniel Levy / Kniha Brožovaná
common.buy 26.93 €
Big Apple Patricia Mackin / Kniha Brožovaná
common.buy 14.07 €
Top
Star Wars: Darth Maul Cullen Bunn / Kniha Brožovaná
common.buy 16.20 €
Pripravujeme
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Kniha Pevná
common.buy 21.06 €
Ministry of Disturbance and Other SF H. Beam Piper / Kniha Brožovaná
common.buy 13.56 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Kniha Brožovaná
common.buy 21.16 €
Play Dates Leslie Sara Carroll / Kniha Brožovaná
common.buy 12.45 €
Top
Fragile World Kerby Rosanes / Kniha Brožovaná
common.buy 10.83 €
Rewiring Democracy Bruce Schneier / E-kniha Adobe ePub DRM
common.buy 31.59 €
High Strength Steels Mingxin Huang / Kniha Brožovaná
common.buy 251.17 €
Top
ISE Fundamentals of Aerodynamics John Anderson / Kniha Brožovaná
common.buy 70.99 €
Rebellion in Patagonia Osvaldo Bayer / E-kniha Adobe ePub DRM
common.buy 25.11 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?