NUST Institutions Library Catalogue catalog › Details for: Specification and validation methods /

Normal view MARC view ISBD view

Specification and validation methods / edited by Egon Borger.

Contributor(s): B诲ger, E, 1946-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).

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

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

Browsing Military College of Signals (MCS) shelves, Shelving location: Reference Close shelf browser

Previous								Next
Previous	003,DEC Linear systems : a state variable approach with numerical implementation /	003,GAL Information theory and reliable communication /	003,LJU System identification : theory for the user /	004.015,SPE Specification and validation methods /	004.019,COG Cognitive systems : human cognitive models in systems design /	004.019,HEL Interaction design : beyond human-computer interaction /	004.019,ROS Usability engineering : scenario-based development of human-computer interaction /	Next

There are no comments on this title.

to post a comment.