Willkommen, schön sind Sie da!
Logo Ex Libris

Certified Programs and Proofs

  • E-Book (pdf)
  • 401 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, ... Weiterlesen
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.
The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

Produktinformationen

Titel: Certified Programs and Proofs
Untertitel: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Editor:
EAN: 9783642253799
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 15.11.2011
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 5.05 MB
Anzahl Seiten: 401

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"