Code: 01659274

Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659274
Price: 51.68 EUR
Availability: InStock
Author: Jean-Pierre Jouannaud
ISBN: 9783642253782

by Jean-Pierre Jouannaud, Zhong Shao

Language: English
Binding: Paperback
Number of pages: 401
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Horus Rising
9.80 € -6 %
Buy
Save Us
11.93 € -15 %
Buy
Fragile World
10.81 € -29 %
Buy
He-man And The Masters Of The Universe: The Newspaper Comic Strips
21.44 € -29 %
Pre-order
Das kleine Gespenst
10.92 € -10 %
Buy
Hand on the Wall
14.15 € -31 %
Buy
Triathlon Bike Foundations
9.80 € -6 %
Buy
ISE Fundamentals of Aerodynamics
70.90 € -6 %
Buy
Fundamentals of Aerospace Engineering: (Beginner's Guide)
21.44 € -28 %
Buy
Emma
16.18 € -28 %
Buy
Ancient Magus' Bride: Wizard's Blue Vol. 1
10.41 € -26 %
Buy
Aquascaping
26.90 € -11 %
Buy
Eyes of the World: Robert Capa, Gerda Taro, and the Invention of Modern Photojournalism
16.88 € -24 %
Buy
Pluspunkte Beruf - A2-B1+
27.30 € -15 %
Buy
Queen in 3-D
29.93 € -29 %
Buy
Kunst - Das andere Memo-Spiel
11.62 € -11 %
Buy
English Dictionary Essential
11.12 € -29 %
Buy
Manic Botanic
12.33 € -7 %
Buy
Zásah Šípem
6.46 € -21 %
Buy
Confessions
16.58 € -25 %
Buy
Krutosť
14.05 € -27 %
Buy
Things That Matter
34.08 € -25 %
Buy
Field Guide to Reptiles of Victoria
43.89 €
Buy
The Nightmare Feast
23.05 € -25 %
Buy
Découvrir Versailles et les châteaux de l'ïle-de-France
22.85 €
Buy
Curse of the Black Gold
48.24 €
Buy
Dynamic Positioning for Engineers
127.45 €
Buy
Northward To Santiago: A Curmudgeon On The Camino Portugués
12.13 € -7 %
Buy
Ballad
16.78 € -25 %
Buy
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress
55.63 € -6 %
Pre-order
Sports Supplement Bible
32.87 € -1 %
Buy
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper
8.08 € -7 %
Buy
Estimular y aprender
24.27 €
Buy
Adrian Flemming
10.92 € -10 %
Buy
Beginnings Of The Cinema In England,1894-1901: Volume 4
120.77 €
Buy
Meaning of Silence in Japan and Anglo-Culture
14.46 € -14 %
Buy
Ansel's Pharmaceutical Dosage Forms and Drug Delivery Systems
57.85 €
Buy
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
28.31 € -1 %
Buy
Linguistics and Poetics of Latvian Folksongs
137.06 €
Buy
Neurons, Axons, Dendrites, Synapses, and Memory
20.32 €
Buy
Las muletas del arbitraje laboral
50.47 €
Buy
Das Prämenstruelle Syndrom (PMS) natürlich behandeln
18 € -10 %
Buy
Man and the Biosphere:
78.79 €
Buy
66 Degrees North
11.83 € -25 %
Pre-order
Complete Book of Scansion: Poets' and Songwriters' Guide
30.03 € -2 %
Buy
Time of the Burning Mask
10.61 € -25 %
Buy
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog
21.13 € -10 %
Buy
Oranges in the Big Apple
31.25 €
Buy
High Strength Steels
250.86 €
Buy
Catharsis
10.61 € -25 %
Buy
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
9.60 € -7 %
Buy
Perú, 15 trekkings y 45 ascensiones
19.92 €
Buy
Benjamin Banneker
12.03 € -9 %
Buy
Archaeology After Structuralism
76.97 €
Buy
Play Dates
12.43 € -17 %
Buy
United States Air Force Dictionary
34.48 €
Buy
Bone Swans
12.03 € -24 %
Buy
Third Millennium
63.01 €
Buy
Higher Education and Capacity Building in Africa
224.66 €
Buy
Sinkholes
33.07 €
Buy
Big Apple
14.05 € -7 %
Buy
2023 the 7th International Conference on Energy and Environmental Science
171.05 € -9 %
Buy
In a Manner Morall Playe: Social Ideologies in English Moralities and Interludes (1350-1517)
93.76 € -4 %
Buy
Thermo-Fluid Behaviour of Periodic Cellular Metals
167.81 €
Buy
Book of Marmalade
24.67 €
Buy
India's True Voice
33.68 € -2 %
Buy
24 Ore
10.31 € -1 %
Buy
Ministry of Disturbance and Other SF
13.54 € -20 %
Buy
La poma
16.28 €
Buy
Narrative of a Blockade-Runner
38.33 € -9 %
Buy
Joe Miller's Jests
30.03 € -2 %
Buy
Unto a Land That I Will Show You
37.32 € -2 %
Buy
Euphony The Sound of Life
26.90 € -7 %
Buy
Challenge of Moses Part I
17.39 €
Buy
Number and Pattern in the Eighteenth-Century Novel
160.12 €
Buy
Farmers vs. Wage Earners
26.19 €
Buy
Building Bridges: HCI, Visualization, and Non-formal Modeling
51.68 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

51.68 €

Full title: Certified Programs and Proofs
Subtitle: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Author: Jean-Pierre Jouannaud, Zhong Shao
Language: English
Binding: Paperback
Number of pages: 401
EAN: 9783642253782
ISBN: 3642253784
ID: 01659274
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 633 g
Dimensions: 235 × 155 × 23 mm
Date of publishing: 18. November 2011