Automation driven specification and verification of UML 2.0 sequence diagram Ajad

By:

Material type: Text

TextPublication details: Jalandhar Dr. B.R. Ambedkar National Institute of 2014Edition: Dr. B.R. ADescription: xii; 60pDDC 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	Home library	Call number	Materials specified	Status	Date due	Barcode
Thesis & Dissertations	Central Library, NIT Jalandhar	Central Library, NIT Jalandhar			Available		TH000515