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

Gespeichert in:

Personen und Körperschaften:	Gonthier, Georges (VerfasserIn), Norrish, Michael (HerausgeberIn)
Titel:	Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings/ edited by Georges Gonthier, Michael Norrish
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Cham [u.a.] Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 8307
Schlagwörter:	Logic design Algebra > Data processing Computer science Artificial intelligence Computer Science Compilers (Computer programs). Machine theory. Konferenzschrift
Druckausg.:	Certified programs and proofs, Cham [u.a.] : Springer, 2013, XII, 307 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Themen
RVK-Notation:	SS 4800 Lecture notes in computer science Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Schriftenreihen (indiv. Sign.) Lecture notes in computer science
Schlagwörter:	Logic design Algebra > Data processing Computer science Artificial intelligence Computer Science Compilers (Computer programs). Machine theory. Konferenzschrift Programmverifikation > Formale Spezifikationstechnik > Typprüfung > Automatisches Beweisverfahren