|
|
|
|
|
|
|
245: $a
|
Concise Guide to Formal Methods :
|
|
245: $b
|
Theory, Fundamentals and Industry Applications
|
|
100: $a |
|
|
082: $a |
005.131 ORC |
|
650: $a |
|
|
020: $a |
9783319640204 |
|
440: $v |
, , , , |
|
250: $b |
Springer |
|
250: $c |
2017 |
|
250: $a |
|
|
300: $a |
322 p
|
|
020: $c |
0.00 PKR
|
|
041: $a |
English
|
|
Available |
Yes, Accessions:[ 53693, 53694, 53695, 53696, 53697 ] |
|
246: |
|
|
246: # |
|
|
Catalogue
|
Books
|
|
Periodicals
|
Newspapers
|
Publications
|
|
Research Papers
|
|
|
|
|