Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Finna-arvio
Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Tallennettuna:
| Ulkoasu |
x, 214 s. : ill. ; 24 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
2002.
|
| Sarja | Lecture notes in computer science, ISSN 0302-9743; 2399. |
| Aiheet | |
| Lisätiedot | Holger Hermanns, Roberto Segala, eds |
| ISBN |
3-540-43913-7 |
| Hae kokoteksti | |