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 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Lehrbuch der Psychologie als Naturwissenschaft Theodor Waitz / Kniha Brožovaná
common.buy 905 Kč
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Kniha Brožovaná
common.buy 547 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 347 Kč
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Kniha Brožovaná
common.buy 1 113 Kč
Připravujeme
Zásah Šípem Iva Šípová / Kniha Pevná
common.buy 190 Kč
Nové
Graphémo - CE - Thème : Le voyage autour du monde Marina Dillé / Papírenské zboží Papírenské zboží
common.buy 296 Kč
Krutosť Nicola Lagioia / Kniha Pevná
common.buy 366 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č
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č
Kunst - Das andere Memo-Spiel / Hra/Hračka Hra
common.buy 282 Kč
Estimular y aprender JESUS JARQUE GARCIA / Kniha Brožovaná
common.buy 538 Kč
Top
Save Us Mona Kasten / Kniha Brožovaná
common.buy 292 Kč
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Kniha Brožovaná
common.buy 432 Kč
Adrian Flemming Marinus Lester Cerdic / Kniha Brožovaná
common.buy 264 Kč
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Kniha Brožovaná
common.buy 435 Kč
Top
Das kleine Gespenst Otfried Preußler / Kniha Pevná
common.buy 265 Kč
Pluspunkte Beruf - A2-B1+ Joachim Becker / Kniha Brožovaná
common.buy 670 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

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Kniha Pevná
common.buy 4 058 Kč
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Kniha Brožovaná
common.buy 1 250 Kč
Euphony The Sound of Life Daniel Levy / Kniha Brožovaná
common.buy 651 Kč
Top
Hand on the Wall Maureen Johnson / Kniha Pevná
common.buy 236 Kč
Factory Town Jon Bassoff / Audiokniha MP3
common.buy 418 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 664 Kč
English Dictionary Essential Collins Dictionaries / Kniha Pevná
common.buy 284 Kč
India's True Voice Alvin Boyd Kuhn / Kniha Brožovaná
common.buy 815 Kč
Big Apple Patricia Mackin / Kniha Brožovaná
common.buy 340 Kč
Top
ISE Fundamentals of Aerodynamics John Anderson / Kniha Brožovaná
common.buy 1 715 Kč
Manic Botanic Irina Vinnik / Kniha Brožovaná
common.buy 299 Kč
Top
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Kniha Pevná
common.buy 854 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č
Eyes of the World: Robert Capa, Gerda Taro, and the Invention of Modern Photojournalism / Kniha Brožovaná
common.buy 381 Kč
Top
Fragile World Kerby Rosanes / Kniha Brožovaná
common.buy 262 Kč
Northward To Santiago: A Curmudgeon On The Camino Portugués Patrick Tierney / Kniha Brožovaná
common.buy 294 Kč
Dynamic Positioning for Engineers Kumar / Kniha Brožovaná
common.buy 3 227 Kč
Complete Book of Scansion: Poets' and Songwriters' Guide Clement Wood / Kniha Brožovaná
common.buy 728 Kč
Top
Triathlon Bike Foundations "triathlon Taren" Gesell / Kniha Brožovaná
common.buy 224 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?