Specification and analysis of concurrent systems : the COSY approach
By: Janicki, Ryszard.
Contributor(s): Lauer. Peter E.
Material type:
BookSeries: V.26 ; Eatcs Monographs On Theoretical Computer Science. Publisher: Berlin Springer-Verlag 1992Description: xii, 480p.ISBN: 3540552049.Subject(s): Parallel Processing (Electronic Computers)DDC classification: 005.12 | J254s
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 005.12 J254s (Browse shelf) | Book Request | Available | A115039 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close 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 for this item.