Coloured Petri nets: modelling and validation of concurrent systems

By: Kurt JensenContributor(s): Lars M. KristensenMaterial type: Text

TextLanguage: English Series: Publication details: Springer 2009 Edition: Description: xi,384pISBN: 9783642002830 (HB)Subject(s): PETRI NETSDDC classification: 005.1015115 JEN(COL)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Materials specified	Copy number	Status	Date due	Barcode	Item holds
Books	Central Library	005.1015115 JEN(COL) (Browse shelf(Opens below))		1	Available		9088

Total holds: 0

Browsing Central Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.1015113 HUT(LOG) Logic in computer science: modelling and reasoning about systems	005.1015113 HUT(LOG) Logic in computer science: modelling and reasoning about systems	005.1015113 NER(LOG) Logic for applications : second edition	005.1015115 JEN(COL) Coloured Petri nets: modelling and validation of concurrent systems	005.1023 FOW(PAS) The Passionate Programmer: creating a remarkable career in software development	005.10285 DEV(PRO) Programming for the puzzled : learn to program while solving puzzles	005.10684 HAM(FUN) Fundamentals of software integration	Next

MD/1/0624/2009-10/16-10-09

There are no comments on this title.

to post a comment.

Place hold
Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)