Mathematical techniques for analyzing concurrent and probabilistic systems / J.J.M.M. Rutten [and others] ; Prakash Panangaden, Franck van Breugel, editors.

Other author Rutten, J. J. M. M.
Other author Panangaden, P. (Prakash)
Other author Breugel, Franck van, 1966-
Format Book
Publication InfoProvidence, R.I. : American Mathematical Society, ©2004.
Descriptionviii, 215 pages : illustrations ; 25 cm.
Subjects

SeriesCRM monograph series ; v. 23, 1065-8599 ;
CRM monograph series v. 23. ^A327318
Bibliography noteIncludes bibliographical references (p. 209-215).
LCCN 2004041069
ISBN0821835718 (acid-free paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA402 .M3594 2004 ✔ Available Place Hold