Certified Programs and Proofs

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

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

Autor: Chris Hawblitzel, Dale Miller

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Chris Hawblitzel, Dale Miller

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2012

Stránek

305

EAN

9783642353079

ISBN

364235307X

Enbook ID

01662768

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

486

Rozměry

155 x 235 x 18

Kompletní popis

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.

Mohlo by vás zajímat

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

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Certified Programs and Proofs

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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

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

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