|
|
|
|
| LEADER |
01306nam a22003255a 4500 |
| 001 |
34059 |
| 003 |
AR-SrUBC |
| 005 |
20210617180705.0 |
| 007 |
t||||||||||||| |
| 008 |
101015m||||||||enka||||r|||||||||||eng|| |
| 020 |
|
|
|a 0521018455 (pbk.)
|
| 020 |
|
|
|a 9780521018456
|
| 040 |
|
|
|a AR-SrUBC
|b eng
|e rcaa2
|
| 080 |
|
|
|a 004.27=20
|2 2000 ES
|
| 100 |
1 |
|
|a Olderog, Ernst-Rüdiger.
|9 68698
|
| 245 |
1 |
0 |
|a Nets, terms and formulas :
|b three views of concurrent processes and their relationship /
|c E.-R. Olderog.
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 2005.
|
| 300 |
|
|
|a x, 267 p. :
|b il. ;
|c 25 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Cambridge tracts in theoretical computer science
|v 23
|
| 505 |
0 |
0 |
|a Contenido: Introduction -- Petri nets -- Process terms -- Logical formulas -- Process construction -- Extensions.
|
| 650 |
|
7 |
|a PROCESAMIENTO PARALELO (COMPUTADORES ELECTRONICOS)
|2 lemb4
|9 68699
|
| 650 |
|
7 |
|a DISEÑO DE SISTEMAS
|2 lemb4
|9 68700
|
| 650 |
|
7 |
|a ANALISIS DE SISTEMAS
|2 lemb4
|9 1438
|
| 650 |
|
7 |
|a REDES DE PETRI
|2 lemb4
|9 54603
|
| 650 |
|
7 |
|a PROGRAMACION PARALELA (COMPUTADORES)
|2 lemb4
|9 68701
|
| 942 |
|
|
|2 cdu
|b 2010-10-15
|c BK
|d 036676
|h 004.27=20
|i OLDn
|z MIG
|6 0042720_OLDN
|
| 999 |
|
|
|c 34059
|d 34059
|