Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.

By:

Contributor(s):

Material type: Text

TextLanguage: English Original language: French Publication details: London ; New York : Springer, c2003.Description: xv, 275 p. ; 24 cmISBN:

Uniform titles:

Subject(s):

DDC classification:

LOC classification:

Online resources:

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	Home library	Shelving location	Call number	Status	Barcode
Books	Main Campus Library	University of Eastern Africa, Baraton	Main Stack	QA76.6 .M6513 2003 (Browse shelf(Opens below))	Available	60514

"... published with the help of the French Ministère de la culture--Centre national du livre."

Includes bibliographical references (p. [255]-267) and index.

There are no comments on this title.

to post a comment.