Certified Programs and Proofs

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

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

Автор: Chris Hawblitzel, Dale Miller

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.84 € 103.34 лв

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

Информация за книгата

Автор

Chris Hawblitzel, Dale Miller

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

305

EAN

9783642353079

ISBN

364235307X

Enbook ID

01662768

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

486

Размери

155 x 235 x 18

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Certified Programs and Proofs

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

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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