Finite representations of CCS and TCSP programs by automata and Petri nets
書誌情報:Finite representations of CCS and TCSP programs by automata and Petri nets
Dirk Taubner.
Berlin ; New York : Springer-Verlag , c1989.
x, 168 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S.0中央５階洋
  • 007.1
  • L 49
  • 369
00511762 利用可
一般 

選択行を：  

書誌詳細
刊年1989
形態x, 168 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 369
注記Includes bibliographical references (p. [159]-164).
出版国ドイツ
標題言語英語
本文言語英語
著者情報Taubner, Dirk, 1959-
分類LCC:QA76.9.D5
DC20:004/.36
ISBN0387515259(U.S.)
件名LCSH:Electronicdataprocessing -- Distributedprocessing.
LCSH:Petrinets.
LCSH:Programminglanguages(Electroniccomputers)
番号LCCN : 89021604

   
▲ページトップへ