本文に飛ぶ

年 〜
年

検索結果 5 件

Coloured Petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 2 : gw v. 2 : us 2nd ed

Coloured Petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 2 : gw v. 2 : us 2nd ed
紙図書
Kurt JensenSpringerc1996
全国の図書館

Coloured petri nets : basic concepts, analysis methods and practical use v. 2 : gw v. 2 : us v. 3 : gw

Coloured petri nets : basic concepts, analysis methods and practical use v. 2 : gw v. 2 : us v. 3 : gw
紙図書
Kurt JensenSpringerc1995-
全国の図書館

Coloured petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us

Coloured petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us
紙図書
Kurt JensenSpringer-Verlagc1992-c1995
全国の図書館

Monographs in theoretical computer science : an EATCS series

Monographs in theoretical computer science : an EATCS series
紙図書
Springer
全国の図書館
  • 関連情報...specifications Coloured Petri nets : basic concepts, analysis methods and practical use Graph and mode......model checking Coloured petri nets : basic concepts, analysis methods and practical use Stochastic coalgebraic logic ...

EATCS monographs on theoretical computer science

EATCS monographs on theoretical computer science
紙図書
Springer-Verlag
全国の図書館
  • 関連情報...P-completeness Coloured petri nets : basic concepts, analysis methods and practical use Temporal logic of programs Ra...

検索結果は以上です。

RSS