|
|
|
|
| LEADER |
01027nam a22002775a 4500 |
| 001 |
36570 |
| 003 |
AR-SrUBC |
| 005 |
20210617181904.0 |
| 007 |
t||||||||||||| |
| 008 |
130514m||||||||nyua||||r|||||||||||eng|| |
| 020 |
|
|
|a 9783642074479
|
| 040 |
|
|
|a AR-SrUBC
|b eng
|e rcaa2
|
| 080 |
|
|
|a 681.5=20
|2 2000 ES
|
| 100 |
1 |
|
|a Girault, Claude.
|9 74180
|
| 245 |
1 |
0 |
|a Petri nets for systems engineering :
|b a guide to modeling, verification, and applications /
|c Claude Girault, Rüdiger Valk.
|
| 260 |
|
|
|a New York :
|b Springer,
|c 2010.
|
| 300 |
|
|
|a xvi, 607 p. :
|b il. ;
|c 25 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 505 |
0 |
0 |
|a Contenido: Basic Concepts -- Modelling -- Verification -- Validation and Execution -- Application Domains.
|
| 650 |
|
7 |
|a REDES DE PETRI
|2 lemb3
|9 54603
|
| 650 |
|
7 |
|a INGENIERIA DE SISTEMAS
|2 lemb3
|9 117
|
| 700 |
1 |
|
|a Valk, Rüdiger
|9 74181
|
| 942 |
|
|
|2 cdu
|b 2013-05-14
|c BK
|d 039556
|h 681.5=20
|i GIRp
|z MK
|6 681520_GIRP
|
| 999 |
|
|
|c 36570
|d 36570
|