Cover image

Normal view MARC view ISBD view

Understanding formal methods / Jean François Monin.

By: Monin, Jean François .

Contributor(s): Hinchey, Michael G .

Material type: materialTypeLabel

materialTypeLabel

BookPublisher: London ; New York : Springer, ©2003Description: xv, 275 p. ; 24 cm.ISBN: 9781852332471; 1852332476.

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

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Collection	Call number	Copy number	Status	Date due	Item holds
Book (red spot)	IUKL Library Open shelves	Purchase	QA76.6 Mon (Browse shelf)	1	Not For Loan

Total holds: 0

Browsing IUKL Library Shelves , Shelving location: Open shelves Close shelf browser

Previous							No cover image available	Next
Previous	QA76.6 Gad Starting out with C++ : from control structures through objects /	QA76.6 Gre Programming problems : a primer for the technical interview. volume II, advanced algorithms /	QA76.6 Gre Programming problems : a primer for the technical interview. volume II, advanced algorithms /	QA76.6 Mon Understanding formal methods /	QA76.6 Ole Computing essentials 2015 introductory/	QA76.6 Ole Computing essentials 2015 introductory/	QA76.6 Sof IEEE Transactions on Software Engineering/	Next

There are no comments for this item.

Log in to your account to post a comment.

Share

The Library's homepage is at http://library.iukl.edu.my/.