Verification of cash machine system by model checking by Vartika Jindal; supervised by Rajarshi Pal

Vartika Jindal
Call Number
PR001.5 V43V
Author
Vartika Jindal
Title
Verification of cash machine system by model checking by Vartika Jindal; supervised by Rajarshi Pal
Publication
Hyderabad: University of Hyderabad, 2014.
Physical Description
58p.
Notes
Project Report (M.Tech) - Department of Computer Science - School of Computer and Information Sciences - University of Hyderabad
Added Author
Pal, Rajarshi; Supervisor
Subject
INFORMATION TECHNOLOGY - PROJECT REPORT
CASH MECHINE SYSTEM - PROJECT REPORT
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library PR001.5 V43V PR9997 Project Reports 1 Non-Circulating
 
 
 
00896nam a2200217 a 4500
001
 
 
vtls001578308
003
 
 
VRT
005
 
 
20181116104500.0
008
 
 
180623                  m    000 0|eng d
039
9
$a 201811161045 $b thirupathi $c 201811161045 $d thirupathi $y 201806231528 $z sinu
082
$a PR001.5 $b V43V
100
1
$a Vartika Jindal
245
1
0
$a Verification of cash machine system by model checking $c by Vartika Jindal; supervised by Rajarshi Pal
260
$a Hyderabad: $b University of Hyderabad, $c 2014.
300
$a 58p.
500
$a Project Report (M.Tech) - Department of Computer Science - School of Computer and Information Sciences - University of Hyderabad
650
0
$a INFORMATION TECHNOLOGY - PROJECT REPORT
650
1
$a CASH MECHINE SYSTEM - PROJECT REPORT
700
1
$a Pal, Rajarshi; Supervisor
999
$a VIRTUA40
999
$a VTLSSORT0080*0820*1000*2450*2600*3000*5000*6500*6501*7000*9992
No Reviews to Display
Notes
Project Report (M.Tech) - Department of Computer Science - School of Computer and Information Sciences - University of Hyderabad
Subject
INFORMATION TECHNOLOGY - PROJECT REPORT
CASH MECHINE SYSTEM - PROJECT REPORT