>> Google Books
所蔵情報QRコード

Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
形態:
x, 168 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 369 <BA00009279>
著者名:
Taubner, Dirk, 1959- <DA03536925>  
ISBN:
9783540515258 [3540515259] (: gw)
9780387515250 [0387515259] (: us)
書誌ID:
BA07251013
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

Taubner, Dirk A., SpringerLink (Online service)
7 図書 Practice of Petri nets in manufacturing

DiCesare, Frank

Chapman & Hall
2 電子ブック Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Taubner

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Programming distributed computing systems : a foundational approach (: hardcover)

Varela, Carlos A.

MIT Press
3 図書 Application of Petri nets to communication networks : advances in Petri nets

Billington, Jonathan, Diaz, Michel, 1945-, Rozenberg, Grzegorz

Springer
9 図書 Petri Net Technology for communication-based systems : advances in Petri Nets

Ehrig, Hartmut, International Colloquia on Petri Net Technologies for Modeling Communication-Based Systems

Springer
4 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets

Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz

Springer
10 図書 Modular construction and partial order semantics of Petri Nets (: us ; : gw)

Vogler, W. (Walter), 1955-

Springer-Verlag
5 図書 Unifying Petri nets : advances in Petri nets

Ehrig, Hartmut, Juhás, Gabriel, Padberg, Julia, Rozenberg, Grzegorz

Springer
11 図書 Concurrency and hardware design : advances in petri nets

Cortadella, Jordi, Yakovlev, Alex, Rozenberg, Grzegorz

Springer
6 図書 Petri nets : an introduction (: gw)

Reisig, Wolfgang, 1950-

Springer-Verlag
12 図書 Formal and natural computing : essays dedicated to Grzegorz Rozenberg

Brauer, Wilfried, 1937-, Rozenberg, Grzegorz, Ehrig, Hartmut, Karhumäki, J, Salomaa, Arto, 1934-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12