机读格式显示(MARC)

• 000 01137cam a2200313 a 4500

• 001 0000493404

• 003 OCoLC

• 005 20131128143800.0

• 008 110413s2012 flua b 001 0 eng

• 010 __ |a 2011010401

• 020 __ |a 9781439818459 (hardcover : alk. paper)

• 020 __ |a 1439818452 (hardcover : alk. paper)

• 035 __ |a (OCoLC)326688231

• 040 __ |a DLC |c DLC |d YDX |d BTCTA |d YDXCP |d UKMGB |d BWX

• 050 00 |a TK7895.E42 |b M636 2012

• 082 00 |a 004.1 |2 22

• 090 __ |a TP306/BZ1

• 093 __ |a TP306 |2 5

• 245 00 |a Model-based testing for embedded systems / |c edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman.

• 260 __ |a Boca Raton, FL : |b CRC Press, |c c2012.

• 300 __ |a xxvii, 660 p. : |b ill. ; |c 26 cm.

• 490 1_ |a Computational analysis, synthesis, and design of dynamic systems.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Embedded computer systems |x Testing.

• 700 1_ |a Zander, Justyna.

• 700 1_ |a Schieferdecker, Ina.

• 700 1_ |a Mosterman, Pieter J.

• 830 _0 |a Computational analysis, synthesis, and design of dynamic models series.

• 920 __ |a 233030 |z 2