Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science - Chris Hawblitzel - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642353079 - 1 november 2012
Indien omslag en titel niet overeenkomen, is de titel correct

Chris Hawblitzel
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 19 - 27 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Chris Hawblitzel

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

315 pages, 64 black & white illustrations, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 november 2012
ISBN13 9783642353079
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pagina's 305
Afmetingen 155 × 235 × 16 mm   ·   444 g
Taal en grammatica Duits  
Uitgever Hawblitzel, Chris
Uitgever Miller, Dale

Meer van dezelfde uitgever

Bekijk alles van Chris Hawblitzel