TinREAD! |

Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications

Tipul înregistrării:	Text tipărit: monografic
Autor:	Girault, Claude
Autor alternativ:	Valk, Rüdiger
Responsabilitate:	Claude Girauly, Rüdiger Valk
Editura:	Springer
Locul publicării:	Berlin Heidelberg New York
Anul Ediției:	2003
ISBN:	3-540-41217-4
Descriere:	XVI, 610 p. : fig., tab., graf.
Note:	Bibliogr. p. 571-599
Note:	Index p. 601-607
Note:	Reţele Petri aplicate în sisteme tehnice: modelare, verificare, aplicaţii.
Limba:	Engleză
Subiect:	Reţele Petri
Subiect:	Reţele de calculatoare
Subiect:	Reţele (grafuri)
Clasificare:	004.72:519.179.2
Clasificare:	519.179.2:004.72
Cota topografică:	III 50843

LDR:00851nam# 2200217## 001 94036
009 ubfixit050.016 Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
010 $a 3-540-41217-4 $d 259.00 lei
100 $a 20130327u########a##u0rumy50######ba
101 $a eng
200 $a Petri Nets for Systems Engineering $f Claude Girauly, Rüdiger Valk $b Carte tipărită $e A Guide to Modeling, Verification, and Applications
210 $a Berlin $a Heidelberg $a New York $L s12065 $c Springer $d 2003
215 $a XVI, 610 p. : fig., tab., graf.
300 $a Bibliogr. p. 571-599
300 $a Index p. 601-607
300 $a Reţele Petri aplicate în sisteme tehnice: modelare, verificare, aplicaţii.
345 $b 2009/30
606 $3 125853 $a Reţele Petri
606 $2 UCV $3 117188 $7 ba0yba0a $8 rumrum $a Reţele de calculatoare
606 $2 UCV $3 121956 $7 ba0yba0a $8 rumrum $a Reţele (grafuri)
675 $a 004.72:519.179.2
675 $a 519.179.2:004.72
679 $a 51
700 $3 40967 $a Girault $b Claude
701 $3 100393 $a Valk $b Rüdiger
801 0 $a RO $b UCV $c 20130327 $2 unimarc
852 $j III 50843