Publication:
Techniques for verifying transactional programs and linearizability

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.kuauthorResearcher, Subaşı, Ömer
dc.contributor.programComputer Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2024-11-09T22:37:34Z
dc.date.issued2012
dc.format.extentxi, 60 l. : ill.; 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/5821
dc.language.isoeng
dc.publisherKoç University
dc.relation.collectionKU Theses and Dissertations
dc.rightsrestrictedAccess
dc.rights.copyrightsnote© All Rights Reserved. Accessible to Koç University Affiliated Users Only!
dc.subjectProgramming languages (Electronic computers)
dc.titleTechniques for verifying transactional programs and linearizability
dc.typeThesis
dspace.entity.typePublication
local.contributor.kuauthorSubaşı, Ömer
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Original bundle

Now showing 1 - 1 of 1
Placeholder
Name:
20329.pdf
Size:
512.15 KB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations