Local cover image
Coloured petri nets : modelling and validation of concurrent systems / Kurt Jensen and Lars M. Kristensen
Material type:
TextSeries: Monographs in theoretical computer sciencePublication details: New York : Springer, 2009Edition: 1st edDescription: vii, 384 p. ; ill. ; 24 cmISBN: - 3540609431 (Berlin : v. 1 : acidfree paper)
- 004 20 JEC
- QA267 .J46 1996
Books
| Item type | Current library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
KU Central Library | Rack No. : 02 Shelve No. : B-01 | Reference Section (Non-Issuable Books) | 004 JEC 2009 (Browse shelf(Opens below)) | C-1 (NI) | Not For Loan | 50485 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.
Click on an image to view it in the image viewer