Semantics of systems of concurent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | |
Format: | Unknown |
Published: |
Berlin
Springer-Verlag
1990
|
Series: | Lecture notes in computer science
469 |
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-183945 | ||
020 | # | # | |a 3540534792 |
090 | 0 | 0 | |a QA76.58 |b .E26 1990 |
245 | 1 | 1 | |a Semantics of systems of concurent processes |b LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings |c I. Guessarian (ed.) |
260 | # | # | |a Berlin |b Springer-Verlag |c 1990 |
300 | # | # | |a iv, 456 p. |b ill. |c 25 cm |
490 | 1 | # | |a Lecture notes in computer science |v 469 |
500 | # | # | |a "The School was organized jointly by the LITP (Laboratoire dinformatique theorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse)"--Foreword. |
504 | # | # | |a Includes bibliographical references |
650 | # | 0 | |a Programming languages (Electronic computers) |x Semantics |
650 | # | 0 | |a Paterallel processing (Electronic computers) |
700 | 1 | # | |a Guessarian, Irene |c 1948- |
710 | 1 | # | |a Laboratoire informatique theorique et programmation (France) |
710 | # | # | |a Institut pour la recherche en informatique de Touloustee |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=183945 |
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##b003.6.1||00300##c003.5.1||00500##a002.17.2||01710##a0011.3.3|| |