000 01122nam a22003257a 4500
003 AR_CdUFM
005 20160908122357.0
008 120306s1995 gw||||| |||| 00| 0 eng d
020 _a3540602186
040 _aAR_CdUFM
111 2 _aInternational Conference on Concurrency Theory
_n(6º :
_d1995 :
_cPhiladelphia, PA, USA)
245 1 0 _aCONCUR - 1995 :
_bConcurrency theory : Proceedings /
_ced. Insup Lee, Scott A. Smolka.
260 _aBerlin :
_bSpringer,
_c1995.
300 _a545 p. ;
_c24 cm.
490 0 _aLecture notes in computer science ;
_vv. 962
490 0 _aLNCS ;
_vv. 962
650 4 _aLogicsand meanings of programs.
650 4 _aLógica y significado de programas.
650 4 _aTeoría de la computación.
650 4 _aComputation theory.
650 4 _aLenguajes de programación.
650 4 _aProgramming languages.
650 4 _aConcurrent programming structures.
650 4 _aEstructuras de programación concurrente.
700 1 _99822
_aLee, Insup,
_eed.
700 1 _916234
_aSmolka, Scott A.,
_eed.
942 _cLIBRO
_2
945 _aAB
945 _aMCR
_d2012-03-06
999 _c3861
_d3861