Logics and analyses for concurrent heap-manipulating programs :: Alexey Gotsman :: ISBN 9781906124830 :: British Computer Society 2009 :: OBNB, the Open British National Bibliography

Publication Data

Title Logics and analyses for concurrent heap-manipulating programs
Author Alexey Gotsman
Contributors , Churchill College, British Computer Society, Council of Professors and Heads of Computing
Publisher British Computer Society
Publication date 2009
Publication location London
Language English

Descriptive Notes

"This dissertation is submitted for the degree of Doctor of Philosophy".
"University of Cambridge, Computer Laboratory, Churchill College".
Thesis (Ph.D.)--University of Cambridge, 2009.

Topics

Computer software :: Verification
Programming languages (Electronic computers)

Catalogue Data

OBNB ID GBB1A4664
ISBN 10 1906124833
ISBN 13 9781906124830
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 162 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logics and analyses for concurrent heap-manipulating programs by Alexey Gotsman. ISBN 9781906124830. Published by British Computer Society in 2009. Publication and catalogue information, links to buy online and reader comments.