Normal view MARC view ISBD view

Usability of semi-formal and formal methods integration : empirical assessments / Rozilawati Razali

By:

Publication details: [United Kingdom] : University of Southampton, 2008Description: xiii, 404 p. : ill. ; 30 cmSubject(s):

Dissertation note: Thesis (Ph. D.) - University of Southampton, 2008

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	Collection	Call number	Materials specified	Copy number	Status	Date due	Barcode
TERHAD	PERPUSTAKAAN TUN SERI LANANG	PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN TESIS-P. TUN SERI LANANG *ARAS 5	-	QA76.76.E93R69 2008 tesis[00008051208] (Browse shelf(Opens below))		1	Available		00001484574

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	No cover image available	Next
Previous	QA76.76.D47K437 2010 tesis[00008051205] The development of a screen-based requirements engineering framework for end-user computing environment /	QA76.76.D47S85 2008 tesis[00008051206] Collaborative model for preparing formal software specification document /	QA76.76.E93R67 1997 tesis[00008051207] Companalyser : sistem penganalisa kekompleksan aturcara C (kuantitatif) /	QA76.76.E93R69 2008 tesis[00008051208] Usability of semi-formal and formal methods integration : empirical assessments /	QA76.76.E95A46 1993 kat4 Penggunaan konsep sistem pakar dalam sistem amaran awal : satu penggunaan dalam syarikat insurans /	QA76.76.E95S234 1990 tesis[00008051210] An application of expert system in electrical power system thermal unit commitment /	QA76.76.I58J86 2001 tesis[00008051211] Agen carian automatic untuk sokongan kepimpinan = Automatic search agent for leadership support system /	Next

Thesis (Ph. D.) - University of Southampton, 2008

There are no comments on this title.

to post a comment.