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

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Certified Programs and Proofs Chris Hawblitzel
Libristo kód: 01662768
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

EFT - svoboda emocí Ramona B. Wagner / Kniha Brožovaná
common.buy 74 Kč
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Kniha List
common.buy 480 Kč
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Kniha Brožovaná
common.buy 571 Kč
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Kniha Brožovaná
common.buy 732 Kč
Russland ALS Autoritares System Kay Renner / Kniha Brožovaná
common.buy 349 Kč
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Kniha Brožovaná
common.buy 369 Kč
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Kniha Brožovaná
common.buy 846 Kč

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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 Chris Hawblitzel, Dale Miller
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 305
EAN 9783642353079
ISBN 364235307X
Libristo kód 01662768
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 486
Rozměry 155 x 235 x 18

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

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Kniha Pevná
common.buy 1 673 Kč
Hex and Hexability Kate Johnson / Kniha Brožovaná
common.buy 219 Kč
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Kniha Brožovaná
common.buy 554 Kč
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Kniha Brožovaná
common.buy 707 Kč
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Kniha Brožovaná
common.buy 308 Kč
Who Was Che Guevara? Ellen Labrecque / Kniha Brožovaná
common.buy 142 Kč
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Kniha Brožovaná
common.buy 1 208 Kč
Top
The Scarlet Letter Nathaniel Hawthorne / Kniha Pevná
common.buy 458 Kč
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Kniha Brožovaná
common.buy 402 Kč
Little Black Songbook Tom Waits / Kniha Kniha
common.buy 334 Kč
Dark Tort Diane Mott Davidson / Kniha Brožovaná
common.buy 186 Kč
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Kniha Brožovaná
common.buy 1 628 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?