Publication:
Techniques for verifying transactional programs and linearizability

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.authorSubaşı, Ömer
dc.contributor.instituteKoç University Graduate School of Sciences and Engineering
dc.contributor.programComputer Engineering
dc.date.accessioned2024-11-09T22:37:34Z
dc.date.issued2012
dc.descriptionxi, 60 l. : ill.; 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/5821
dc.languageEnglish
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.thesis.degreeMaster's Degree
dc.thesis.grantorİstanbul
dc.titleTechniques for verifying transactional programs and linearizability
dc.typeThesis
dspace.entity.typePublication
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68

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