Semantics of systems of concurent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

Saved in:
Bibliographic Details
Corporate Authors: Laboratoire informatique theorique et programmation (France), Institut pour la recherche en informatique de Touloustee
Other Authors: Guessarian, Irene 1948-
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||