Concurrent systems formal development in CSP
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Published: |
London
McGraw-Hill
1995
|
Series: | McGraw-Hill international series in software engineering
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-132658 | ||
020 | # | # | |a 0077076494 |
090 | 0 | 0 | |a QA76.58 |b .H56 1995 |
100 | 1 | # | |a Hinchey, Michael Gerard |c l969- |
245 | 1 | 1 | |a Concurrent systems |b formal development in CSP |c Michael G. Hinchey and Stephen A. Jarvis |
260 | # | # | |a London |b McGraw-Hill |c 1995 |
300 | # | # | |a xiv, 181 p. |c 25 cm |
490 | 1 | # | |a McGraw-Hill international series in software engineering |
504 | # | # | |a Includes bibliographical references (p. ) and index |
650 | # | 0 | |a Parallel processing (Electronic computers |
700 | 1 | # | |a Jarvis, Stephen A. |c 1970- |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=132658 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##c003.5.1|| |