Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Record no. 24997)

000 -LEADER
fixed length control field 00458nam a2200157 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s2004 000 0
245 ## - TITLE STATEMENT
Title Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Rutten , J J M M, et al.,
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 2004
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher American Mathematical Society
300 ## - PHYSICAL DESCRIPTION
Number of Pages 215
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title CRM Monograph Series ; 0023
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9780821835715
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 519.221 RUT
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library First Floor Rack No:35 Shelf No:41 519.221 RUT 64568 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha