ASPECT - ORIENTED PROGRAMMING WITH THE E VERIFICATION LANGUAGE
By: ROBINSON, D.
Material type:
BookPublisher: Amsterdam Elsevier 2007Description: xvii+244p.,22x18Cms.ISBN: 0123742100.DDC classification: 621.3819642 R632
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819642 R632 (Browse shelf) | Available | 079009 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
| No cover image available |
|
|
No cover image available |
|
|
No cover image available | ||
| 621.3819642 R614 CORE SOFTWARE SECURITY: SECURITY AT THE SOURCE | 621.3819642 R632 PRACTICAL UNIX PROGRAMMING: A GUIDE TO CONCURRENCY COMMUNICATION AND MULTITHREAD | 621.3819642 R632 PRATICAL UNIX PROGRAMMING:GUIDE TO CONCURRENCY, COMMUNICATION, AND MULTITHREADIN | 621.3819642 R632 ASPECT - ORIENTED PROGRAMMING WITH THE E VERIFICATION LANGUAGE | 621.3819642 R643 PC GAME PROGRAMMING EXPLORER | 621.3819642 R654 MANAGING THE WINDOWS 2000 REGISTRY | 621.3819642 R658 INTRODUCTION TO BIO-ONTOLOGIES |
There are no comments for this item.