Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
by
Gonthier, Georges. editor.
Title
:
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author
:
Gonthier, Georges. editor.
ISBN
:
9783319035451
Physical Description
:
XII, 309 p. 44 illus. online resource.
Series
:
Lecture Notes in Computer Science, 8307
Subject Term
:
Computer science.
Logic design.
Algebra -- Data processing.
Artificial intelligence.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Computer Science, general.
Added Author
:
Norrish, Michael.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 332982-1001 | ONLINE(332982.1) | | Elektronik Kütüphane |