|
|
|
|
| LEADER |
00940cam a2200193 i 4500 |
| 999 |
|
|
|c 158092
|d 158088
|
| 020 |
|
|
|a 9781107656840
|
| 082 |
0 |
0 |
|a 004.2
|b Q5
|
| 100 |
1 |
|
|a McCormick, John W
|9 11105
|
| 245 |
1 |
0 |
|a Building high integrity applications with SPARK /
|c John W. McCormick and Peter C Chapin
|
| 260 |
|
|
|a New York:
|b Cambridge University Press,
|c 2015.
|
| 300 |
|
|
|a xiv, 367 p.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a SPARK (Computer program language)
|9 87666
|
| 650 |
|
0 |
|a Fault-tolerant computing.
|9 87667
|
| 700 |
1 |
|
|a Chapin, Peter C.
|9 2473
|
| 856 |
|
|
|u https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 004_200000000000000_Q5
|7 0
|9 156549
|a MGUL
|b MGUL
|c GEN
|d 2018-05-07
|e Calicut Book Distributors
|g 4234.60
|l 0
|o 004.2 Q5
|p 59392
|r 2018-05-07
|w 2018-05-07
|y BK
|