Finite transition systems semantics of communicating systems
Saved in:
Main Author: | |
---|---|
Format: | Unknown |
Published: |
Paris
Masson
1994
|
Series: | Prentice Hall international series in computer science
|
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-099393 | ||
005 | 202111810278 | ||
020 | # | # | |a 0130929905 |
090 | 0 | 0 | |a QA267.5 |b .A7613 1994 |
100 | 1 | # | |a Arnold, A. |c 1945- |q (Andre) |
245 | 1 | 1 | |a Finite transition systems |b semantics of communicating systems |c Andre Arnold |f translated by John Plaice |
260 | # | # | |a Paris |b Masson |c 1994 |
300 | # | # | |a vii, 177 p. |b ill. |c 25 cm |
490 | 1 | # | |a Prentice Hall international series in computer science |
504 | # | # | |a Includes bibliographical references (p. 139-173) and index |
650 | # | 0 | |a Sequential machine theory |
740 | 1 | # | |a Systemes de transitions finit et semantique des processus communicants. |r English |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=099393 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a003.5.1||00260##b003.5.1||00260##c003.5.1||00300##a003.5.1||00300##b003.5.1||00300##c003.5.1|| |