AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING
By: SCHUMANN, J.M.
Material type:
BookPublisher: NEW YORK Springer 2001Description: xiv+228p.,24X16Cms.ISBN: 3540679898.DDC classification: 621.3819642 S392
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819642 S392 (Browse shelf) | Available | 073090 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
|
|
|
|
No cover image available |
|
||
| 621.3819642 S386 UNDOCUMENTED WINDOWS: PROGRAMMERS GUIDE TO RESERVED MICROSOFT WINDOWS APT FUNCTI | 621.3819642 S386U Undocumented Windows | 621.3819642 S392 SOFTWARE SOLUTIONS IN C | 621.3819642 S392 AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING | 621.3819642 S392 SECURITY PATTERNS: INTEGRATING SECURITY AND SYSTEMS ENGINEERING | 621.3819642 S394 PRACTICAL INTRODUCTION TO HARDWARE/ SOFTWARE CODESIGN | 621.3819642 S398 AGILE SOFTWARE DEVELOPMENT WITH SCRUM |
There are no comments for this item.