Finite representations of CCS and TCSP programs by Automata and petri nets by Taubner Dirk
Material type:
TextLanguage: English Series: Lecture notes in computer science; 369Publication details: Berlin Springer-Verlag 1989Description: 168p. cmSubject(s): DDC classification: - D65,8(B)-4N60, M9
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)-4N60 M9 (Browse shelf(Opens below)) | Available | SL1023846 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B),48 JV P4 TD Enerprise J2ME: Developing mobile java applications | D65,8(B):4:atp1,N94 N4 Proceeding on Computer performance evaluation: modelling techniques and tools, 7th international conference Vienna, Austria, May 1994 proceedings | D65,8(B):4:(B281) M0 Reliability evaluation of some fault tolerant computer architectures | D65,8(B)-4N60 M9 Finite representations of CCS and TCSP programs by Automata and petri nets | D65,8(B)-4N60un1:N89 N0 Advances in petrinets 1989 | D65,8(B):4p1,N73 L3 Proceeding on data networks | D65,8(B):4p1,N78 M2.1 Proceeding on data base design techniques I |
There are no comments on this title.
Log in to your account to post a comment.