Certified programs and proofs

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: 57.99 Nu voor: € 49.99

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
Uiterlijk 31 januari in huis

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.

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.

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.

• 1 Bekijk alle specificaties

Taal: en

Bindwijze: Paperback

Oorspronkelijke releasedatum: 01 november 2012

Aantal pagina's: 315

Illustraties: Nee

Hoofdredacteur: Chris Hawblitzel

Tweede Redacteur: Dale Miller

Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Editie: 2012 ed.

Extra groot lettertype: Nee

Product breedte: 155 mm

Product lengte: 235 mm

Studieboek: Ja

Verpakking breedte: 155 mm

Verpakking hoogte: 235 mm

Verpakking lengte: 235 mm

Verpakkingsgewicht: 486 g

EAN: 9783642353079

---