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 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

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Certified Programs and Proofs Jean-Pierre Jouannaud
Kod Libristo: 01659274
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Książka Miękka
common.buy 213.78 zł
TOP
Aquascaping Oliver Knott / Książka Twarda
common.buy 113.75 zł
Das Neue Testament Heinrich Ogilvie / Książka Twarda
common.buy 102.52 zł
Das kleine Gespenst Otfried Preußler / Książka Twarda
common.buy 46.40 zł
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Książka Miękka
common.buy 96.61 zł
Pluspunkte Beruf - A2-B1+ Joachim Becker / Książka Miękka
common.buy 122.07 zł
L'Era Cenozoica Giancarlo Varnier / E-book Adobe ePub DRM
common.buy 14.02 zł
Zapowiedź
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Książka Miękka
common.buy 235.62 zł
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Książka Miękka
common.buy 76.06 zł
Krutosť Nicola Lagioia / Książka Twarda
common.buy 79.07 zł
La poma Iwamura Kazuo / Książka Miękka
common.buy 68.75 zł
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Książka Miękka
common.buy 84.68 zł
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 / Książka Miękka
common.buy 125.98 zł
Adrian Flemming Marinus Lester Cerdic / Książka Miękka
common.buy 46.19 zł
Zásah Šípem Iva Šípová / Książka Twarda
common.buy 30.26 zł
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 / Książka Miękka
common.buy 42.89 zł
TOP
Save Us Mona Kasten / Książka Miękka
common.buy 50.50 zł
24 Ore Marco Bartiromo / Książka Miękka
common.buy 45.79 zł
Estimular y aprender JESUS JARQUE GARCIA / Książka Miękka
common.buy 103.22 zł
Kunst - Das andere Memo-Spiel / Gra/Zabawka Gra
common.buy 49.30 zł

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.

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 Jean-Pierre Jouannaud, Zhong Shao
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 401
EAN 9783642253782
ISBN 3642253784
Kod Libristo 01659274
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 633
Wymiary 155 x 235 x 23

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ć

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Książka Miękka
common.buy 218.69 zł
English Dictionary Essential Collins Dictionaries / Książka Twarda
common.buy 50.20 zł
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Książka Miękka
common.buy 36.17 zł
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Książka Miękka
common.buy 90.09 zł
The Nightmare Feast Andrew Klavan / Książka Twarda
common.buy 104.13 zł
Tanie
Hand on the Wall Maureen Johnson / Książka Twarda
common.buy 32.66 zł
Narrative of a Blockade-Runner J WILKINSON / Książka Twarda
common.buy 162.16 zł
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Książka Twarda
common.buy 133.79 zł
Benjamin Banneker Katie Marsico / Książka Miękka
common.buy 50.91 zł
Queen in 3-D Brian May / Książka Twarda
common.buy 144.52 zł
Sinkholes / Książka Twarda
common.buy 139.91 zł
India's True Voice Alvin Boyd Kuhn / Książka Miękka
common.buy 149.93 zł
Euphony The Sound of Life Daniel Levy / Książka Miękka
common.buy 119.96 zł
Big Apple Patricia Mackin / Książka Miękka
common.buy 62.83 zł
TOP
Star Wars: Darth Maul Cullen Bunn / Książka Miękka
common.buy 66.84 zł
Zapowiedź
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Książka Twarda
common.buy 89.19 zł
Ministry of Disturbance and Other SF H. Beam Piper / Książka Miękka
common.buy 61.03 zł
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Książka Miękka
common.buy 84.68 zł
Play Dates Leslie Sara Carroll / Książka Miękka
common.buy 55.62 zł
TOP
Fragile World Kerby Rosanes / Książka Miękka
common.buy 45.79 zł
Rewiring Democracy Bruce Schneier / E-book Adobe ePub DRM
common.buy 133.79 zł
High Strength Steels Mingxin Huang / Książka Miękka
common.buy 1 106.70 zł
TOP
ISE Fundamentals of Aerodynamics John Anderson / Książka Miękka
common.buy 300.07 zł
Rebellion in Patagonia Osvaldo Bayer / E-book Adobe ePub DRM
common.buy 106.33 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