1. Shodhganga@INFLIBNET
  2. University of Calcutta
  3. Department of Computer Science & Engineering
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/555372
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2024-03-28T10:13:48Z-
dc.date.available2024-03-28T10:13:48Z-
dc.identifier.urihttp://hdl.handle.net/10603/555372-
dc.description.abstractAbstract available newline
dc.format.extent153
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleFormal Modelling and Verification Using Event B
dc.title.alternative
dc.creator.researcherKarmakar, Rahul
dc.subject.keywordEngineering and Technology
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Software Engineering
dc.subject.keywordComputer Science and Engineering
dc.description.note
dc.contributor.guideChaki, Nabendu
dc.publisher.placeKolkata
dc.publisher.universityUniversity of Calcutta
dc.publisher.institutionDepartment of Computer Science and Engineering
dc.date.registered
dc.date.completed2024
dc.date.awarded2024
dc.format.dimensions
dc.format.accompanyingmaterialDVD
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:Department of Computer Science & Engineering

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File50.55 kBAdobe PDFView/Open
02_prelim pages.pdf83.46 kBAdobe PDFView/Open
03_content.pdf60.39 kBAdobe PDFView/Open
04_abstract.pdf396.8 kBAdobe PDFView/Open
05_chapter 1.pdf193.25 kBAdobe PDFView/Open
06_chapter 2.pdf185.33 kBAdobe PDFView/Open
07_chapter 3.pdf525.64 kBAdobe PDFView/Open
08_chapter 4.pdf1.84 MBAdobe PDFView/Open
09_chapter 5.pdf328.46 kBAdobe PDFView/Open
10_chapter 6.pdf63.02 kBAdobe PDFView/Open
11_bibliography.pdf97.94 kBAdobe PDFView/Open
80_recommendation.pdf50.55 kBAdobe PDFView/Open
Show simple item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge:
Admin Tools