Formal methods and software engineering Liu, Shaoying|Maibaum, Tom|Araki, Keijiro

By:

Contributor(s):

Material type: Text

TextPublication details: New York,USA: Sharpe Professional, 2008Description: 396 pISBN:

Subject(s):

DDC classification:

Item type:

Books

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

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Barcode
UMT Main Campus	T 005.7 FOR- (Browse shelf(Opens below))	Available	94825

There are no comments on this title.

to post a comment.