Kniha Certified Programs and Proofs Jean-Pierre Jouannaud

Certified Programs and Proofs

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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the referred proceedings of the First International Conference on Certified Pr...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2011
Stránek
401
EAN
9783642253782
ISBN
3642253784
Enbook ID
01659274
Hmotnost
633
Rozměry
155 x 235 x 23

Kompletní popis

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.

Mohlo by vás zajímat

English Dictionary Essential

Collins Dictionaries
246
476

The Nightmare Feast

Andrew Klavan
541

Hand on the Wall

Maureen Johnson
180

Joe Miller's Jests

MULTIPLE CONTRIBUTOR
706

Benjamin Banneker

Katie Marsico
267

Queen in 3-D

Brian May
701
740

India's True Voice

Alvin Boyd Kuhn
791
631

Big Apple

Patricia Mackin
330
350

Play Dates

Leslie Sara Carroll
291

Fragile World

Kerby Rosanes
237

Rewiring Democracy

Bruce Schneier
742
5 887
1 574
590

Zákaznicí kteří koupili tuto knihu koupili také

1 185

Aquascaping

Oliver Knott
594

Das Neue Testament

Heinrich Ogilvie
534

Das kleine Gespenst

Otfried Preußler
242
648

L'Era Cenozoica

Giancarlo Varnier
78

Krutosť

Nicola Lagioia
381

La poma

Iwamura Kazuo
381

Adrian Flemming

Marinus Lester Cerdic
242

Zásah Šípem

Iva Šípová
193

Save Us

Mona Kasten
263

24 Ore

Marco Bartiromo
242

Estimular y aprender

JESUS JARQUE GARCIA
572