|
|
|
|
| LEADER |
00694 a2200217 4500 |
| 005 |
20151026133256.0 |
| 008 |
140811b xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9780857292766
|
| 080 |
|
|
|a 004.414.28
|b ALA
|
| 100 |
|
|
|a Alagar, V S
|
| 245 |
|
|
|a Specification of software systems
|c V S Alagar and K Periyasamy
|
| 250 |
|
|
|a 2nd ed.
|
| 260 |
|
|
|c 2011
|b Springer
|a London
|
| 300 |
|
|
|a xxv, 644p.
|
| 653 |
|
|
|a Software specification
|
| 653 |
|
|
|a Logic
|
| 653 |
|
|
|a Temporal Logic
|
| 700 |
|
|
|a Periyasamy, K
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 66975
|d 66975
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 00441428_ALA
|7 0
|9 79244
|a UL
|b UL
|d 2014-02-20
|g 0.00
|l 1
|o 004.414.28 ALA
|p 00071755
|r 2015-09-08
|s 2015-08-12
|v 0.00
|w 2014-02-20
|y BK
|