|
|
|
|
| LEADER |
01400cam a2200385 4500 |
| 001 |
PPN069090114 |
| 005 |
20181031133700.0 |
| 009 |
DYNIX_BUNAN_538620 |
| 010 |
|
|
|a 3-540-41217-4
|b alk. paper
|
| 020 |
|
|
|a US
|b 2002191198
|
| 100 |
|
|
|a 20021209d2003 k u0frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a DE
|a US
|
| 105 |
|
|
|a a a 001yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Petri nets for Systems Engineering
|b Texte imprimé
|e a guide to Modeling, Verification, and Applications
|f Claude Girault, Rüdiger Valk
|
| 210 |
|
|
|a Berlin
|a Heidelberg
|a New York
|c Springer
|d cop. 2003
|
| 215 |
|
|
|a XVI-607 p.
|c ill.
|d 24 cm
|
| 320 |
|
|
|a Bibliogr. p. [571]-599. Index
|
| 606 |
|
|
|3 PPN050702858
|a Méthodes formelles (informatique)
|2 rameau
|
| 606 |
|
|
|3 PPN027674401
|a Petri, Réseaux de
|2 rameau
|
| 610 |
|
|
|a Petri nets
|2 lc
|
| 610 |
|
|
|a Systems engineering
|2 lc
|
| 610 |
|
|
|a Formal methods (Computer science)
|2 lc
|
| 676 |
|
|
|a 004/.01/51
|v 21
|
| 680 |
|
|
|a QA76.9.F67
|b G57 2003
|
| 700 |
|
1 |
|3 PPN07014706X
|a Girault
|b Claude
|4 070
|
| 701 |
|
1 |
|3 PPN06990877X
|a Valk
|b Rüdiger
|4 070
|
| 801 |
|
0 |
|b DLC
|g AACR2
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20030919
|g AFNOR
|
| 915 |
|
|
|5 441092104:193140845
|b 1161538526
|
| 930 |
|
|
|5 441092104:193140845
|b 441092104
|a 681.31 PET-GIR
|j u
|
| 979 |
|
|
|a SCI
|
| 993 |
|
|
|a 1161538526
|b SCI
|c 681.31 PET-GIR
|d EM
|e INFAUT12
|f I
|g 29-09-2003
|h 25-11-2003
|k 64.95
|s 153852
|t EM
|u SCINF12
|v i
|
| 998 |
|
|
|a 32625
|
Nantilus
