000 01450nam a2200301zi 4500
005 20210817121911.0
008 970106s1990 a 000 0 eng
020 _a3540534792
035 _aMX001000528094
041 _aSPA
050 _aQA76.58
_bE385
111 0 _aEcole de printemps d'informatique theorique
_d(1990 :
_cLa Roche-Posay, Francia)
245 1 0 _aSemantics of systems of concurrent processes :
_bLITP Spring School on Theoretical Computer Science, La Roche-Posay, France, April 23-27, 1990, proceedings /
_cI. Guessarian, ed.
300 _aiv, 456 páginas :
_bilustraciones
490 0 _aLecture notes in computer science ;
_v469
500 _a"La escuela fue organizada conjuntamente por el LITP (Laboratoire d'Informatique Theorique et Programmation, Paris) y el IRIT (Institute pour la Recherche en Informatique de Tolouse)" -- Prol.
650 _aProcesamiento paralelo (Computadoras electrónicas)
650 _aLenguajes de programación (Computadoras)
_xSemántica
700 _aGuessarian, Irene,
_d1948- ,
_eeditor
710 _aLaboratoire informatique theorique et programmation (Francia)
710 _aInstitute pour la Recherche en Informatique de Tolouse
830 _aLecture notes in computer science
_x 0302-9743
264 1 _aBerlin :
_bSpringer Verlag,
_cc1990
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c19027
_d19027