Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642353079
Price: 277.38 RON
Availability: InStock

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Autor: Chris Hawblitzel, Dale Miller

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the Second International Conference on Certified P...

Informații despre carte

Autor

Chris Hawblitzel, Dale Miller

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

305

EAN

9783642353079

ISBN

364235307X

Enbook ID

01662768

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

486

Dimensiuni

155 x 235 x 18

Descriere completă

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations

Hex and Hexability

Biography of the Signers to the Declaration of Independence; Volume 4

Love Or Pride, Adapted From The Swedish (1873)

Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure

Who Was Che Guevara?

Pearson Edexcel International GCSE (9-1) Business Student Book

The Scarlet Letter

I'm NOT Just an EMT! Real Paramedics Like Cats

Little Black Songbook

Dark Tort

Understanding Language Teaching: Reasoning in Action

Clienții care au cumpărat această carte au mai cumpărat și

EFT - svoboda emocí

Nussknacker 4. Ausgabe Bayern

Die verfassungsrechtliche Grundordnung als Rechtsproblem

Enzimas Fibroliticas de Agaricus bisporus para rumiantes

Russland ALS Autoritares System

Sterben alter Menschen in der modernen Gesellschaft

UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD