Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662768
Price: 51.69 EUR
Availability: InStock
Author: Chris Hawblitzel
ISBN: 9783642353079

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

Chris Hawblitzel

Dale Miller

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01662768

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2012

This book constitutes the refereed proceedings of the Second International Conference on Certified P... Celý popis

Libristo kód: 01662768

125 b

51.69 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

EFT - svoboda emocí Ramona B. Wagner

Brožovaná

3.33 €

Nussknacker 4. Ausgabe Bayern Peter H. Maier

List

20.83 €

Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper

Brožovaná

23.56 €

Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez

Brožovaná

32.06 €

Russland ALS Autoritares System Kay Renner

Brožovaná

15.27 €

Sterben alter Menschen in der modernen Gesellschaft Gisela Jung

Brožovaná

16.18 €

UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara

Brožovaná

35.00 €

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 pre

Prehrať video

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 Chris Hawblitzel, Dale Miller

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2012

Počet strán 305

EAN 9783642353079

ISBN 364235307X

Libristo kód 01662768

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 486

Rozmery 155 x 235 x 18

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