SPECIFICATION AND PROOF IN REAL-TIME CSP

By:

Language: English Publication details: CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS; 1993Description: 180 pISBN:

Subject(s):

DDC classification:

Item type:

Refrence Book

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Refrence Book	UCSC Library Reference Section	UCSC Library Reference Section	Reference Collection	004.33 D18 (Browse shelf(Opens below))	Available		A13472

Total holds: 0

Previous	No cover image available	No cover image available		No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	004.3 S54 Solving Problems on Concurrent Processors : Volume 1 : GENERAL TECHNIQUES AND REGULAR PROBLEMS	004.3 S54 Solving Problems on Concurrent Processors Volume II : Software for concurrent processors	004.3 S56 Applied Parallel Computing: New Paradigms for HPC in INdustry and Academia : Lecture Notes in Computer Science	004.33 D18 SPECIFICATION AND PROOF IN REAL-TIME CSP	004.33 R57 Mobile Agents : Lecture Notes In Computer Science	004.33 V14 EMBEDDED MICROCOMPUTER SYSTEMS :REAL TIME INTERFACING :( With CD)	004.35 A28 ADVANCES IN DISTRIBUTED AND PARALLEL KNOWLEDGE DISCOVERY	Next

There are no comments on this title.

to post a comment.