Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Certified Programs and Proofs

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Certified Programs and Proofs Jean-Pierre Jouannaud
Koda Libristo: 01659274
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Knjiga Mehka
common.buy 20.85 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Knjiga Mehka
common.buy 26.12 €
L'Era Cenozoica Giancarlo Varnier / E-knjiga Adobe ePub DRM
common.buy 2.93 €
Das kleine Gespenst Otfried Preußler / Knjiga Trda
common.buy 10.32 €
Das Neue Testament Heinrich Ogilvie / Knjiga Trda
common.buy 22.77 €
Top
Aquascaping Oliver Knott / Knjiga Trda
common.buy 25.31 €
Kmalu
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Knjiga Mehka
common.buy 52.65 €
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Knjiga Mehka
common.buy 46.17 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Knjiga Mehka
common.buy 18.01 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Knjiga Mehka
common.buy 17.00 €
Krutosť Nicola Lagioia / Knjiga Trda
common.buy 16.80 €
La poma Iwamura Kazuo / Knjiga Mehka
common.buy 14.88 €
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 Mehka
common.buy 28.34 €
Adrian Flemming Marinus Lester Cerdic / Knjiga Mehka
common.buy 10.22 €
Zásah Šípem Iva Šípová / Knjiga Trda
common.buy 6.37 €
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 Mehka
common.buy 9.61 €
Top
Save Us Mona Kasten / Knjiga Mehka
common.buy 11.23 €
24 Ore Marco Bartiromo / Knjiga Mehka
common.buy 10.32 €
Kunst - Das andere Memo-Spiel / Igra/Igrača Igra
common.buy 11.03 €
Estimular y aprender JESUS JARQUE GARCIA / Knjiga Mehka
common.buy 22.37 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Certified Programs and Proofs
Avtor Jean-Pierre Jouannaud, Zhong Shao
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2011
Število strani 401
EAN 9783642253782
ISBN 3642253784
Koda Libristo 01659274
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 633
Mere 155 x 235 x 23

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Knjiga Trda
common.buy 159.98 €
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Knjiga Mehka
common.buy 48.90 €
India's True Voice Alvin Boyd Kuhn / Knjiga Mehka
common.buy 33.71 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Knjiga Mehka
common.buy 20.34 €
The Nightmare Feast Andrew Klavan / Knjiga Trda
common.buy 23.08 €
Poceni
Hand on the Wall Maureen Johnson / Knjiga Trda
common.buy 7.69 €
Narrative of a Blockade-Runner J WILKINSON / Knjiga Trda
common.buy 36.24 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Knjiga Trda
common.buy 30.06 €
Benjamin Banneker Katie Marsico / Knjiga Mehka
common.buy 11.33 €
Queen in 3-D Brian May / Knjiga Trda
common.buy 32.09 €
English Dictionary Essential Collins Dictionaries / Knjiga Trda
common.buy 11.03 €
Sinkholes / Knjiga Trda
common.buy 31.58 €
Euphony The Sound of Life Daniel Levy / Knjiga Mehka
common.buy 26.93 €
Big Apple Patricia Mackin / Knjiga Mehka
common.buy 14.07 €
Top
Star Wars: Darth Maul Cullen Bunn / Knjiga Mehka
common.buy 14.88 €
Manic Botanic Irina Vinnik / Knjiga Mehka
common.buy 12.34 €
Ministry of Disturbance and Other SF H. Beam Piper / Knjiga Mehka
common.buy 13.56 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Knjiga Mehka
common.buy 21.15 €
Play Dates Leslie Sara Carroll / Knjiga Mehka
common.buy 12.45 €
Top
Fragile World Kerby Rosanes / Knjiga Mehka
common.buy 10.12 €
Rewiring Democracy Bruce Schneier / E-knjiga Adobe ePub DRM
common.buy 28.24 €
High Strength Steels Mingxin Huang / Knjiga Mehka
common.buy 251.12 €
Top
ISE Fundamentals of Aerodynamics John Anderson / Knjiga Mehka
common.buy 67.13 €
Rebellion in Patagonia Osvaldo Bayer / E-knjiga Adobe ePub DRM
common.buy 22.37 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?