Petri nets for systems engineering a guide to modeling, verification, and applications

By:

Material type: Text

Text 2010Description: Soft Binding xvi 607ISBN:

Subject(s):

DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode	Item holds
Books	COMSATS University Lahore Campus	004.0151 -P (Browse shelf(Opens below))	1	Available		LHR 20960

Total holds: 0

Previous		No cover image available			No cover image available	No cover image available	No cover image available	Next
Previous	004.0151 JOH-P Probability and statistics for computer science	004.0151 JOH-P Probability and Statistics for Computer Science	004.0151 MUH-F Formal modeling and verification of distributed failure detectors	004.0151 -P Petri nets for systems engineering a guide to modeling, verification, and applications	004.0151 REG-C Concise guide to formal methods Theory, fundamentals and industry applications	004.0151 WAN-F Formal methods in computer science	004.01511 HEI-D Discrete structures,logic and computability	Next

English

There are no comments on this title.

to post a comment.