Normal view MARC view ISBD view

Concise guide to formal methods Theory, fundamentals and industry applications

By:

Material type: Text

Text 2007Description: Soft Binding xxiii 332ISBN:

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 REG-C (Browse shelf(Opens below))	1	Available		LHR 34318

Total holds: 0

Previous	No cover image available			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 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	004.01511 HEI-D Discrete structures,logic and computability	Next

English

There are no comments on this title.

to post a comment.