Coverart for item
The Resource CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India, sponsored by ACM SIGPLAN, (electronic resource)

CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India, sponsored by ACM SIGPLAN, (electronic resource)

Label
CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India
Title
CPP '15
Title remainder
proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India
Statement of responsibility
sponsored by ACM SIGPLAN
Title variation
  • Certified Programs and Proofs '15
  • Proceedings of the 2015 Conference on Certified Programs and Proofs
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.9.M35
http://bibfra.me/vocab/lite/meetingDate
2015
http://bibfra.me/vocab/lite/meetingName
CPP (Conference)
http://library.link/vocab/relatedWorkOrContributorName
ACM Special Interest Group on Programming Languages
http://library.link/vocab/subjectName
  • Computer science
  • Proof theory
  • Formal methods (Computer science)
  • Computer software
Label
CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India, sponsored by ACM SIGPLAN, (electronic resource)
Instantiates
Publication
Note
  • Includes index
  • "Co-located with: POPL '15"
Control code
OCM1bookssj0001663905
Dimensions
unknown
Extent
1 online resource (184 pages)
Isbn
9781450332965
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001663905
Label
CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India, sponsored by ACM SIGPLAN, (electronic resource)
Publication
Note
  • Includes index
  • "Co-located with: POPL '15"
Control code
OCM1bookssj0001663905
Dimensions
unknown
Extent
1 online resource (184 pages)
Isbn
9781450332965
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001663905

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...