ISBN3540439137 (pbk. : alk. paper)
数量x, 214 p. : fig., tab. ; 24 cm.
並列タイトル等Process algebra and probabilistic methods : performance modeling and verification : 2nd joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
一般注記Selected papers and abstracts.
Held as part of the Federated Logic Conference (FLoC 2002) .
PARM-PROBMIV workshop results from the combination of two workshops: PARM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Valification) .
Related URL: http: //link.springer-ny.com/link/service/series/0558/tocs/t2399.htm.
書誌注記Includes bibliographical references and index.
別の媒体に関する注記Also available via the World Wide Web.