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 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.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 118 b
48.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Herz Und Kreislauf Walter Bleifeld / Knjiga Meki uvez
common.buy 95.66 €
Geschmack am Leben finden Ingrid Riedel / Knjiga Tvrdi uvez
common.buy 18.48 €
Kunst - Das andere Memo-Spiel / Igra/Igračka Igra
common.buy 11.55 €
Top
Save Us Mona Kasten / Knjiga Meki uvez
common.buy 11.85 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Knjiga Meki uvez
common.buy 20.59 €
Krutosť Nicola Lagioia / Knjiga Tvrdi uvez
common.buy 17.58 €
BLUEY. LIBRO DE CARTON - BLUEY SE DIVIERTE (EDICION EN ESPAÑOL) BLUEY / Knjiga Tvrdi uvez
common.buy 12.85 €
Zásah Šípem Iva Šípová / Knjiga Tvrdi uvez
common.buy 6.82 €
Das kleine Gespenst Otfried Preußler / Knjiga Tvrdi uvez
common.buy 10.84 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Knjiga Meki uvez
common.buy 27.02 €

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

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Knjiga Tvrdi uvez
common.buy 171.03 €
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Knjiga Meki uvez
common.buy 48.53 €
Queen in 3-D Brian May / Knjiga Tvrdi uvez
common.buy 29.33 €
Number and Pattern in the Eighteenth-Century Novel Douglas Brooks / Knjiga Tvrdi uvez
common.buy 178.47 €
25 Chapters Of You Jacob N Bollig / Knjiga Tvrdi uvez
common.buy 20.69 €
Sinkholes / Knjiga Tvrdi uvez
common.buy 32.86 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Knjiga Meki uvez
common.buy 8.73 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Knjiga Meki uvez
common.buy 21.70 €
Top
The Nightmare Feast Andrew Klavan / Knjiga Tvrdi uvez
common.buy 25.11 €
Hand on the Wall Maureen Johnson / Knjiga Tvrdi uvez
common.buy 15.37 €
Narrative of a Blockade-Runner J WILKINSON / Knjiga Tvrdi uvez
common.buy 38.09 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Knjiga Tvrdi uvez
common.buy 32.25 €
Benjamin Banneker Katie Marsico / Knjiga Meki uvez
common.buy 9.03 €
Top
Fundamentals of Aerospace Engineering: (Beginner's Guide) Francisco Gallardo Lopez / Knjiga Meki uvez
common.buy 29.84 €
English Dictionary Essential Collins Dictionaries / Knjiga Tvrdi uvez
common.buy 10.94 €
Called to Care James P Rousey / Knjiga Meki uvez
common.buy 15.06 €
belgian shepherd malinois Francois Kiesgen / Knjiga Meki uvez
common.buy 15.06 €
India's True Voice Alvin Boyd Kuhn / Knjiga Meki uvez
common.buy 36.17 €
Euphony The Sound of Life Daniel Levy / Knjiga Meki uvez
common.buy 28.93 €
Big Apple Patricia Mackin / Knjiga Meki uvez
common.buy 15.06 €
Educational Laws of Virginia: The Personal Narrative of Mrs. Margaret Douglass, a Southern Woman, Who Was Imprisoned for One Month in the Common Jai Margaret Douglass / Knjiga Meki uvez
common.buy 18.58 €
Top
Star Wars: Darth Maul Cullen Bunn / Knjiga Meki uvez
common.buy 13.86 €
Jews and Judaism in 21st Century Edward Feinstein / Knjiga Tvrdi uvez
common.buy 22.10 €
Eyes of the World: Robert Capa, Gerda Taro, and the Invention of Modern Photojournalism / Knjiga Meki uvez
common.buy 18.28 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?