Specifying software : a hands-on introduction R.D. Tennent

By:

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 2001.Description: xii,289p. : ill. ; 25cmISBN:

Subject(s):

LOC 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	Collection	Call number	Status	Date due	Barcode
Book	Directorate of Library Services (UDSM)	Science and Engineering Collection	QA76.6.T4416 2001 (Browse shelf(Opens below))	Available		000000307965
Book	Directorate of Library Services (UDSM)	Science and Engineering Collection	QA76.6.T4416 2001 (Browse shelf(Opens below))	Available		000000307970

Previous			No cover image available No cover image available			No cover image available No cover image available	No cover image available No cover image available	Next
Previous	QA12.M645 2007 Applied statistics and probability for engineers	QA12.M645 2007 Applied statistics and probability for engineers	QA34.R46 no.8938 Note on the tail of general weighted empirical processes	QA76.6.T4416 2001 Specifying software : a hands-on introduction	QA76.6.T4416 2001 Specifying software : a hands-on introduction	QA76.889.L64 2006 Protecting information : from classical error to quantum cryptography	QA76.889.L64 2006 Protecting information : from classical error to quantum cryptography	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.