Specification and validation methods / edited by Egon Borger.
Series: International schools for computer scientists ; Oxford science publicationsPublisher: Oxford : New York : Clarendon ; Oxford University Press, 1995Description: 460 p. : ill. ; 24 cmISBN: 0198538545Subject(s): Programming languages (Electronic computers)DDC classification: 004.015,SPE Online resources: Publisher description | Table of contents only
Contents:
Introduction (Page -1), Part-1: Evolving Algebras (Page-7), Part-II: Programming Languages (Page-53), Part-III: Parallel and Distributed Programs (Page-165), Part-IV: Protocols (Page-245), Part-V: Architecture Design (Page-329).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | Reference | 004.015,SPE (Browse shelf) | Link to resource | Available | Almirah No.17, Shelf No.1 | MCS31105 |
Total holds: 0
Introduction (Page -1), Part-1: Evolving Algebras (Page-7), Part-II: Programming Languages (Page-53), Part-III: Parallel and Distributed Programs (Page-165), Part-IV: Protocols (Page-245), Part-V: Architecture Design (Page-329).
There are no comments on this title.