|
|
|
|
| LEADER |
01032nam a2200169Ia 4500 |
| 008 |
150624b xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9788181287847
|
| 100 |
|
|
|a Bjorner, D.
|
| 245 |
|
|
|a Software engineering /
|c D. Bjorner
|
| 260 |
|
|
|a New Delhi :
|b Springer (India) pvt. ltd.,
|c 2007.
|
| 300 |
|
|
|a 711 p.
|
| 505 |
|
|
|a 1. Opening 2 Discrete mathematics 3 Sets 4 Cartesians 5 Types 6 Functions 7 A - Calculus 8 Algebras 9 Mathematical Logic 10 Simple RSL 11 Atomic types and values in RSL 12 Function definitions in RSL 13 Property-oriented and
|
| 942 |
|
|
|c TXT
|
| 999 |
|
|
|c 56650
|d 56650
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_000000000000000_1_BJO_S_1
|7 0
|9 56628
|a UL
|b UL
|c ST1
|d 2012-10-27
|h Vol.1
|l 0
|o 005.1, BJO/S.1
|p 81901
|r 2012-10-27
|y TXT
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_000000000000000_1_BJO_S_2
|7 0
|9 56629
|a UL
|b UL
|c ST1
|d 2012-10-27
|h Vol.2
|l 0
|o 005.1, BJO/S.2
|p 81902
|r 2012-10-27
|y TXT
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_000000000000000_1_BJO_S_3
|7 0
|9 56630
|a UL
|b UL
|c ST1
|d 2012-10-27
|h Vol.3
|l 0
|o 005.1, BJO/S.3
|p 81903
|r 2012-10-27
|y TXT
|