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 |