Name: Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Brand: Springer International Publishing
SKU: ID13110076
Availability: InStock

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

53.49 EUR

In den Aufzeichnungen der dritten Internationalen Konferenz über zertifizierte Programme und Beweise (CPP 2013) aus Melbourne finden Sie tiefgehende Analysen, neue Algorithmen und praxisnahe Fallstudien zur formalen Verifikation von Software, präsentiert von führenden Forschern.

Marke: Springer International Publishing

ISBN: 3319035444

MPN: 44 black & white illustrations, biograph