Logics and analyses for concurrent heap-manipulating programs - Distinguished Dissertation (Paperback)Alexey Gotsman (author)
- Not available
Publisher: BCS Learning & Development Limited
Number of pages: 162
Weight: 410 g
Dimensions: 297 x 210 x 9 mm
You may also be interested in...
Please sign in to write a review