For verification of recovery Techniques in Distributed system using Event B

Simple item page
dc.contributor.guideDivakar singh Yadav and Raghuraj Singh Suryavanshi
dc.coverage.spatial
dc.creator.researcherBal Krishna Saraswat
dc.date.accessioned2024-08-09T12:12:41Z
dc.date.available2024-08-09T12:12:41Z
dc.date.awarded2024
dc.date.completed2024
dc.date.registered2015
dc.description.note
dc.format.accompanyingmaterialDVD
dc.format.dimensions
dc.format.extent
dc.identifier.urihttp://hdl.handle.net/10603/581959
dc.languageEnglish
dc.publisher.institutiondean PG Studies and Research
dc.publisher.placeLucknow
dc.publisher.universityDr. A.P.J. Abdul Kalam Technical University
dc.relation
dc.rightsuniversity
dc.source.universityUniversity
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Software Engineering
dc.subject.keywordEngineering and Technology
dc.titleFor verification of recovery Techniques in Distributed system using Event B
dc.title.alternative
dc.type.degreePh.D.

Files

Original bundle

Now showing 1 - 5 of 13
Thumbnail Image
Name:
80_recommendation.pdf
Size:
1.3 MB
Format:
Adobe Portable Document Format
Description:
Attached File
Download
Thumbnail Image
Name:
abstract.pdf
Size:
258.86 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
annexures.pdf
Size:
4.45 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
chapter 1.pdf
Size:
7.95 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
chapter 2.pdf
Size:
2.17 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Plain Text
Description:
Download

Collections

dean PG Studies and Research