000 01389nam a22004095i 4500
001 978-0-387-47939-2
003 DE-He213
005 20130515020509.0
007 cr nn 008mamaa
008 100301s2007 xxu| s |||| 0|eng d
020 _a9780387479392
_9978-0-387-47939-2
024 7 _a10.1007/978-0-387-47939-2
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
100 1 _aFisher, Marcus S.
245 1 0 _aSoftware Verification and Validation
_h[electronic resource] :
_bAn Engineering and Scientific Approach /
_cby Marcus S. Fisher.
260 _aBoston, MA :
_bSpringer US,
_c2007.
300 _bdigital.
650 0 _aComputer science.
650 0 _aOperating systems (Computers).
650 0 _aSoftware engineering.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aPerformance and Reliability.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aSoftware Engineering.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387327259
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-387-47939-2
912 _aZDB-2-SCS
999 _c67158
_d67158