Certified Programs and Proofs

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

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

Szerző: Chris Hawblitzel, Dale Miller

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 327 Ft

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

Információk a könyvről

Szerző

Chris Hawblitzel, Dale Miller

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

305

EAN

9783642353079

ISBN

364235307X

Enbook ID

01662768

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

486

Méretek

155 x 235 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Certified Programs and Proofs

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

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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