NUST Institutions Library Catalogue catalog › Details for: Integration of ASM with event-B RODIN/

Normal view MARC view ISBD view

Integration of ASM with event-B RODIN/ Innayatullah

TextPublisher: Islamabad NUST-SEECS 2015Description: 66p. ill.; CD-ROMSubject(s): -- MS-Computer ScienceDDC classification: 200 Online resources: Click here to access online

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

Item type	Current location	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Project Report	Central Library (CL)	Central Library (CL)		Thesis	200 (Browse shelf)	Available		CL-T-6473
Project Report	Central Library (CL)	Central Library (CL)	REF	Reference	MSCCS-4 INN (Browse shelf)	Available		SEECSP01790

Total holds: 0

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	200 Towards Making Semantic Web more Collaborative for Novice users /	200 Development of Cybersecurity Learning Platform for SMBs /	200 Design of Frequency Selective Surface (FSS) based Fields Decorrelating Radome for MIMO Antennas/	200 Integration of ASM with event-B RODIN/	200 Detection of Malicious SSH Sessions: A Machine Learning Approach /	200 Microservice-Oriented Distributed framework for resource intensive workloads /	200 Machine Learning Based Trust Management framework for Sustainable Vehicular Networks /	Next

There are no comments on this title.

to post a comment.