Certified Programs and Proofs

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

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

Autor: Chris Hawblitzel, Dale Miller

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.57 zł

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

Informacje o książce

Autor

Chris Hawblitzel, Dale Miller

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

305

EAN

9783642353079

ISBN

364235307X

Enbook ID

01662768

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

486

Wymiary

155 x 235 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Certified Programs and Proofs

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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