Loading…

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

Saved in:
Bibliographic Details
Other Authors: Rutten, Jan J. M. M., Panangaden, Prakash, Breugel, Franck van, 1966-
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, c2004.
Series:CRM monograph series ; v. 23
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library

Availability details from Pilkington Library
Shelfmark: 519.2/MAT
Copy number Shelving location Availability
Copy [0402919874] Pilkington Main Collection Available
Copy [0403124298] Pilkington Main Collection Available