Image from Amazon.com
Specification and analysis of concurrent systems : the COSY approach
Material type:
TextSeries: ; V.26 | Eatcs Monographs On Theoretical Computer Science ; Publication details: Berlin Springer-Verlag 1992Description: xii, 480pISBN: - 3540552049
- 005.12 J254s
| Item type | Current library | Collection | Call number | URL | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 005.12 J254s (Browse shelf(Opens below)) | Link to resource | Available | A115039 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.12 H19F HOW TO DESIGN PROGRAMS | 005.12 IN8S SOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS | 005.12 J158R THE ROAD TO THE UNIFIED SOFTWARE DEVELOPMENT PROCESS | 005.12 J254s Specification and analysis of concurrent systems | 005.12 M142s Software engineering for information systems | 005.12 N554p Principles of program analysis | 005.12 OB3R OBJECT-ORIENTED MODELING AND DESIGN |
There are no comments on this title.
Log in to your account to post a comment.