Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Certified Programs and Proofs

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Certified Programs and Proofs Jean-Pierre Jouannaud
Libristo kod: 01659274
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, studeni 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Knjiga Meki uvez
common.buy 48.29 €
Top
Aquascaping Oliver Knott / Knjiga Tvrdi uvez
common.buy 26.87 €
Das Neue Testament Heinrich Ogilvie / Knjiga Tvrdi uvez
common.buy 24.14 €
Das kleine Gespenst Otfried Preußler / Knjiga Tvrdi uvez
common.buy 10.90 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Knjiga Meki uvez
common.buy 21.82 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Knjiga Meki uvez
common.buy 27.48 €
L'Era Cenozoica Giancarlo Varnier / E-knjiga Adobe ePub DRM
common.buy 3.12 €
Pripremamo
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Knjiga Meki uvez
common.buy 55.57 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Knjiga Meki uvez
common.buy 17.98 €
Krutosť Nicola Lagioia / Knjiga Tvrdi uvez
common.buy 17.67 €
La poma Iwamura Kazuo / Knjiga Meki uvez
common.buy 15.55 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Knjiga Meki uvez
common.buy 18.99 €
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 / Knjiga Meki uvez
common.buy 29.70 €
Adrian Flemming Marinus Lester Cerdic / Knjiga Meki uvez
common.buy 10.90 €
Zásah Šípem Iva Šípová / Knjiga Tvrdi uvez
common.buy 6.76 €
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 / Knjiga Meki uvez
common.buy 10.10 €
Top
Save Us Mona Kasten / Knjiga Meki uvez
common.buy 11.91 €
24 Ore Marco Bartiromo / Knjiga Meki uvez
common.buy 10.80 €
Estimular y aprender JESUS JARQUE GARCIA / Knjiga Meki uvez
common.buy 23.33 €
Kunst - Das andere Memo-Spiel / Igra/Igračka Igra
common.buy 11.61 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Certified Programs and Proofs
Autor Jean-Pierre Jouannaud, Zhong Shao
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 401
EAN 9783642253782
ISBN 3642253784
Libristo kod 01659274
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 633
Dimenzije 155 x 235 x 23

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Knjiga Meki uvez
common.buy 51.63 €
English Dictionary Essential Collins Dictionaries / Knjiga Tvrdi uvez
common.buy 11.81 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Knjiga Meki uvez
common.buy 8.58 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Knjiga Meki uvez
common.buy 21.21 €
The Nightmare Feast Andrew Klavan / Knjiga Tvrdi uvez
common.buy 24.55 €
Povoljno
Hand on the Wall Maureen Johnson / Knjiga Tvrdi uvez
common.buy 7.67 €
Narrative of a Blockade-Runner J WILKINSON / Knjiga Tvrdi uvez
common.buy 38.29 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Knjiga Tvrdi uvez
common.buy 31.62 €
Benjamin Banneker Katie Marsico / Knjiga Meki uvez
common.buy 12.02 €
Queen in 3-D Brian May / Knjiga Tvrdi uvez
common.buy 34.04 €
Sinkholes / Knjiga Tvrdi uvez
common.buy 33.03 €
India's True Voice Alvin Boyd Kuhn / Knjiga Meki uvez
common.buy 35.36 €
Euphony The Sound of Life Daniel Levy / Knjiga Meki uvez
common.buy 28.28 €
Big Apple Patricia Mackin / Knjiga Meki uvez
common.buy 14.84 €
Top
Star Wars: Darth Maul Cullen Bunn / Knjiga Meki uvez
common.buy 15.75 €
Pripremamo
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Knjiga Tvrdi uvez
common.buy 21.01 €
Ministry of Disturbance and Other SF H. Beam Piper / Knjiga Meki uvez
common.buy 14.44 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Knjiga Meki uvez
common.buy 21.11 €
Play Dates Leslie Sara Carroll / Knjiga Meki uvez
common.buy 13.13 €
Top
Fragile World Kerby Rosanes / Knjiga Meki uvez
common.buy 10.80 €
Rewiring Democracy Bruce Schneier / E-knjiga Adobe ePub DRM
common.buy 29.90 €
High Strength Steels Mingxin Huang / Knjiga Meki uvez
common.buy 261.21 €
Top
ISE Fundamentals of Aerodynamics John Anderson / Knjiga Meki uvez
common.buy 70.83 €
Rebellion in Patagonia Osvaldo Bayer / E-knjiga Adobe ePub DRM
common.buy 23.74 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun