TOOL SUPPORT FOR SYSTEM SPECIFICATION, DEVELOPMENT AND VERIFICATION BERGHAMMER,R
By: 32.
Material type:
TextISBN: 9783211832820.
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
UBT - Lipjan Koleksioni i përgjithshem | Koleksioni i përgjithshem | 004 BER (Browse shelf) | Available | 002-2913359 |
Browsing UBT - Lipjan shelves, Shelving location: Koleksioni i përgjithshem , Collection: Koleksioni i përgjithshem Close shelf browser
| 004 BER THE ADVENT OF THE ALGORITHM | 004 BER DUNAMIC PROGRAMMING AND STOCHASTIC CONTROL | 004 BER SOFTWARE ENGINEERING WITH ABSTRACTIONS | 004 BER TOOL SUPPORT FOR SYSTEM SPECIFICATION, DEVELOPMENT AND VERIFICATION | 004 BER DATA ABSTRACTION | 004 BER THE WAITE GROUP'S C++ PROGRAMMING | 004 BER DATA STRUCTURES |
There are no comments for this item.