Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Certified Programs and Proofs
- Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Engelsk
Bogcover for Certified Programs and Proofs af , 9783642353079
Specifikationer
Sprog:
Engelsk
Sider:
305
ISBN-13:
9783642353079
Indbinding:
Paperback
ISBN-10:
364235307X
Udg. Dato:
1 nov 2012
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
1 nov 2012

Certified Programs and Proofs

- Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Engelsk
Paperback 2012
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
9.321,40 kr
Hos Booktok
409 kr
spar 96%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
305
ISBN-13:
9783642353079
Indbinding:
Paperback
ISBN-10:
364235307X
Udg. Dato:
1 nov 2012
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
1 nov 2012
Finder produkter...
Kategori sammenhænge