|
|
| |
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by Yoeli, Michael,
Publication:
Hoboken, N.J. : Wiley-Interscience, 2008
. xv, 231 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Petri net technology for communication-based systems : , advances in Petri nets /
Publication:
Berlin : Springer, 2003
. viii, 454 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Formal and natural computing , essays dedicated to Grzegorz Rozenberg /
Publication:
Berlin : Springer, 2002
. xxxvi, 429 p. :
24 cm.
Date:2002
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal and natural computing : , essays dedicated to Grzegorz Rozenberg /
Publication:
Berlin ; | New York : Springer, 2002
. xxxvi, 429 p. :
25 cm.
Date:2002
Availability:
No items available:
|
|
