Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Kniha Brožovaná
common.buy 1 222 Kč
Top
Aquascaping Oliver Knott / Kniha Pevná
common.buy 612 Kč
Das Neue Testament Heinrich Ogilvie / Kniha Pevná
common.buy 550 Kč
Das kleine Gespenst Otfried Preußler / Kniha Pevná
common.buy 249 Kč
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Kniha Brožovaná
common.buy 552 Kč
Pluspunkte Beruf - A2-B1+ Joachim Becker / Kniha Brožovaná
common.buy 668 Kč
L'Era Cenozoica Giancarlo Varnier / E-kniha Adobe ePub DRM
common.buy 79 Kč
Připravujeme
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Kniha Brožovaná
common.buy 1 273 Kč
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Kniha Brožovaná
common.buy 410 Kč
Krutosť Nicola Lagioia / Kniha Pevná
common.buy 363 Kč
La poma Iwamura Kazuo / Kniha Brožovaná
common.buy 393 Kč
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Kniha Brožovaná
common.buy 484 Kč
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 685 Kč
Adrian Flemming Marinus Lester Cerdic / Kniha Brožovaná
common.buy 249 Kč
Zásah Šípem Iva Šípová / Kniha Pevná
common.buy 184 Kč
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 233 Kč
Top
Save Us Mona Kasten / Kniha Brožovaná
common.buy 271 Kč
24 Ore Marco Bartiromo / Kniha Brožovaná
common.buy 249 Kč
Estimular y aprender JESUS JARQUE GARCIA / Kniha Brožovaná
common.buy 590 Kč
Kunst - Das andere Memo-Spiel / Hra/Hračka Hra
common.buy 266 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Certified Programs and Proofs
Autor Jean-Pierre Jouannaud, Zhong Shao
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 401
EAN 9783642253782
ISBN 3642253784
Libristo kód 01659274
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 633
Rozměry 155 x 235 x 23

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Kniha Brožovaná
common.buy 1 182 Kč
English Dictionary Essential Collins Dictionaries / Kniha Pevná
common.buy 254 Kč
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Kniha Brožovaná
common.buy 196 Kč
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Kniha Brožovaná
common.buy 491 Kč
The Nightmare Feast Andrew Klavan / Kniha Pevná
common.buy 558 Kč
Levně
Hand on the Wall Maureen Johnson / Kniha Pevná
common.buy 186 Kč
Narrative of a Blockade-Runner J WILKINSON / Kniha Pevná
common.buy 876 Kč
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Kniha Pevná
common.buy 728 Kč
Benjamin Banneker Katie Marsico / Kniha Brožovaná
common.buy 275 Kč
Queen in 3-D Brian May / Kniha Pevná
common.buy 723 Kč
Sinkholes / Kniha Pevná
common.buy 763 Kč
India's True Voice Alvin Boyd Kuhn / Kniha Brožovaná
common.buy 815 Kč
Euphony The Sound of Life Daniel Levy / Kniha Brožovaná
common.buy 651 Kč
Big Apple Patricia Mackin / Kniha Brožovaná
common.buy 340 Kč
Top
Star Wars: Darth Maul Cullen Bunn / Kniha Brožovaná
common.buy 361 Kč
Připravujeme
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Kniha Pevná
common.buy 473 Kč
Ministry of Disturbance and Other SF H. Beam Piper / Kniha Brožovaná
common.buy 328 Kč
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Kniha Brožovaná
common.buy 484 Kč
Play Dates Leslie Sara Carroll / Kniha Brožovaná
common.buy 300 Kč
Top
Fragile World Kerby Rosanes / Kniha Brožovaná
common.buy 244 Kč
Rewiring Democracy Bruce Schneier / E-kniha Adobe ePub DRM
common.buy 764 Kč
High Strength Steels Mingxin Huang / Kniha Brožovaná
common.buy 6 069 Kč
Top
ISE Fundamentals of Aerodynamics John Anderson / Kniha Brožovaná
common.buy 1 623 Kč
Rebellion in Patagonia Osvaldo Bayer / E-kniha Adobe ePub DRM
common.buy 608 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?