Publication: Techniques for verifying transactional programs and linearizability
Files
Program
Computer Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Subaşı, Ömer
Advisor
Taşıran, Serdar
Publication Date
2012
Language
English
Type
Thesis
Journal Title
Journal ISSN
Volume Title
Abstract
Description
xi, 60 l. : ill.; 30 cm.
Source:
Publisher:
Koç University
Keywords:
Subject
Programming languages (Electronic computers)