|
|
|
|
| LEADER |
00795 a2200193 4500 |
| 005 |
20151026133053.0 |
| 008 |
120823t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9783642152276
|
| 080 |
|
|
|a 004.439:004.415.5
|b DEB
|
| 100 |
|
|
|a Debbabi, Mourad...[et.al]
|9 21322
|
| 245 |
|
|
|a Verification and validation in systems engineering
|b assessing UML/sysML designed models
|c Mourad, Debbabi...[et.al]
|
| 260 |
|
|
|b Springer-verlag
|c 2010
|a Berlin
|
| 300 |
|
|
|a xxvi, 248p.
|
| 653 |
|
|
|a Systems engineering
|
| 653 |
|
|
|a Expert systems-computer science-verification
|
| 653 |
|
|
|a Expert systems-validation
|a Computer science
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 62596
|d 62596
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 0044390044155_DEB
|7 0
|9 75124
|a UL
|b UL
|c GEN
|d 2012-01-23
|g 0.00
|o 004.439:004.415.5 DEB
|p 00067100
|r 2012-01-23
|v 0.00
|w 2012-01-23
|y BK
|