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 11.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
223.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Lehrbuch der Psychologie als Naturwissenschaft Theodor Waitz / Książka Miękka
common.buy 161.95 zł
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Książka Miękka
common.buy 98.19 zł
L'Era Cenozoica Giancarlo Varnier / E-book Adobe ePub DRM
common.buy 14.34 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 240.98 zł
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Książka Miękka
common.buy 199.26 zł
Zásah Šípem Iva Šípová / Książka Twarda
common.buy 30.95 zł
Nowość
Graphémo - CE - Thème : Le voyage autour du monde Marina Dillé / Artykuły papiernicze Artykuły papiernicze
common.buy 53.29 zł
Krutosť Nicola Lagioia / Książka Twarda
common.buy 81.07 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 128.84 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 43.86 zł
Kunst - Das andere Memo-Spiel / Gra/Zabawka Gra
common.buy 50.42 zł
Estimular y aprender JESUS JARQUE GARCIA / Książka Miękka
common.buy 96.45 zł
TOP
Save Us Mona Kasten / Książka Miękka
common.buy 51.65 zł
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Książka Miękka
common.buy 77.48 zł
Adrian Flemming Marinus Lester Cerdic / Książka Miękka
common.buy 47.24 zł
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Książka Miękka
common.buy 77.79 zł
TOP
Das kleine Gespenst Otfried Preußler / Książka Twarda
common.buy 47.45 zł
Pluspunkte Beruf - A2-B1+ Joachim Becker / Książka Miękka
common.buy 112.74 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ć

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Książka Twarda
common.buy 760.37 zł
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Książka Miękka
common.buy 223.66 zł
Euphony The Sound of Life Daniel Levy / Książka Miękka
common.buy 122.69 zł
TOP
Hand on the Wall Maureen Johnson / Książka Twarda
common.buy 42.22 zł
Factory Town Jon Bassoff / Audiobook MP3
common.buy 75.13 zł
Narrative of a Blockade-Runner J WILKINSON / Książka Twarda
common.buy 165.84 zł
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Książka Twarda
common.buy 136.83 zł
Benjamin Banneker Katie Marsico / Książka Miękka
common.buy 52.06 zł
Queen in 3-D Brian May / Książka Twarda
common.buy 147.80 zł
English Dictionary Essential Collins Dictionaries / Książka Twarda
common.buy 50.63 zł
India's True Voice Alvin Boyd Kuhn / Książka Miękka
common.buy 153.34 zł
Big Apple Patricia Mackin / Książka Miękka
common.buy 64.26 zł
TOP
ISE Fundamentals of Aerodynamics John Anderson / Książka Miękka
common.buy 306.89 zł
Manic Botanic Irina Vinnik / Książka Miękka
common.buy 56.57 zł
TOP Zapowiedź
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Książka Twarda
common.buy 151.39 zł
Ministry of Disturbance and Other SF H. Beam Piper / Książka Miękka
common.buy 62.42 zł
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Książka Miękka
common.buy 86.61 zł
Play Dates Leslie Sara Carroll / Książka Miękka
common.buy 56.88 zł
Eyes of the World: Robert Capa, Gerda Taro, and the Invention of Modern Photojournalism / Książka Miękka
common.buy 77.79 zł
TOP
Fragile World Kerby Rosanes / Książka Miękka
common.buy 46.83 zł
Northward To Santiago: A Curmudgeon On The Camino Portugués Patrick Tierney / Książka Miękka
common.buy 55.44 zł
Dynamic Positioning for Engineers Kumar / Książka Miękka
common.buy 577.19 zł
Complete Book of Scansion: Poets' and Songwriters' Guide Clement Wood / Książka Miękka
common.buy 136.83 zł
TOP
Triathlon Bike Foundations "triathlon Taren" Gesell / Książka Miękka
common.buy 44.68 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?