Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Certified Programs and Proofs

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

Język AngielskiAngielski
Książka Miękka
Książka Certified Programs and Proofs Chris Hawblitzel
Kod Libristo: 01662768
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Cały opis
? points 125 b
221.36 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

EFT - svoboda emocí Ramona B. Wagner / Książka Miękka
common.buy 15.41 zł
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Książka Karta
common.buy 89.27 zł
Correlacion / Książka Miękka
common.buy 152.78 zł
Erbarmen mit den Männern Sophie R. Knaak / Książka Miękka
common.buy 78.31 zł
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Książka Miękka
common.buy 101.24 zł
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Książka Miękka
common.buy 137.56 zł
Russland ALS Autoritares System Kay Renner / Książka Miękka
common.buy 65.53 zł
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Książka Miękka
common.buy 69.38 zł
Metaverzum Ball / Książka Twarda
common.buy 102.86 zł
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Książka Miękka
common.buy 149.84 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Certified Programs and Proofs
Autor Chris Hawblitzel, Dale Miller
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 305
EAN 9783642353079
ISBN 364235307X
Kod Libristo 01662768
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 486
Wymiary 155 x 235 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Książka Twarda
common.buy 310.94 zł
Zapowiedź Nowość
The Problem of Passing Sandra Harvey / Książka Miękka
common.buy 125.18 zł
Mara Plants a Seed Robert Furrow / Książka Miękka
common.buy 72.93 zł
Hex and Hexability Kate Johnson / Książka Miękka
common.buy 41.79 zł
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Książka Miękka
common.buy 103.07 zł
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Książka Miękka
common.buy 131.57 zł
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Książka Miękka
common.buy 57.41 zł
Who Was Che Guevara? Ellen Labrecque / Książka Miękka
common.buy 26.77 zł
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Książka Miękka
common.buy 236.58 zł
The Scarlet Letter Nathaniel Hawthorne / Książka Twarda
common.buy 86.63 zł
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Książka Miękka
common.buy 74.76 zł
Improving Project Performance Jerry L Wellman / Książka Twarda
common.buy 177.73 zł
Little Black Songbook Tom Waits / Książka Książka
common.buy 73.14 zł
Dark Tort Diane Mott Davidson / Książka Miękka
common.buy 35.19 zł
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Książka Miękka
common.buy 302.62 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?