>> Amazon.co.jp
このページのQRコード

Concurrent object-oriented programming and Petri nets : advances in Petri nets

種類:
図書
責任表示:
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報:
Berlin : Springer, c2001
著者名:
シリーズ名:
Lecture notes in computer science ; 2001 <BA00009279>
ISBN:
9783540419426 [354041942X]  CiNii Books  Calil
注記:
"LNCS2001, State-of-the-art survey"--On cover
Includes bibliographies and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Modular construction and partial order semantics of Petri Nets

Vogler, W. (Walter), 1955-

Springer-Verlag
7 図書 Modular specification and verification of object-oriented programs

Müller, Peter

Springer
2 図書 Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998 : proceedings

ISCOPE (Conference), Caromel, Denis, Oldehoeft, Rodney R., Tholburn, Marydell

Springer
8 図書 Algebraic specification techniques in object oriented programming environments

Breu, R. (Ruth), 1964-

Springer-Verlag
3 図書 Advances in Petri nets 1993

Rozenberg, Grzegorz

Springer-Verlag
9 電子ブック Advances in Petri Nets 1992

Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 Advances in Petri nets 1992

Rozenberg, Grzegorz

Springer-Verlag
10 電子ブック Advances in Petri Nets 1988

Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Object-oriented programming : a unified foundation

Castagna, Giuseppe, 1966-

Birkhäuser
11 電子ブック Advances in Petri Nets 1990

Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Finite representations of CCS and TCSP programs by automata and Petri nets

Taubner, Dirk, 1959-

Springer-Verlag
12 電子ブック Advances in Petri Nets 1989

Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer