| 000 | 00778nam a22002297a 4500 | ||
|---|---|---|---|
| 001 | sulbI000708 | ||
| 003 | BD-SySUS | ||
| 005 | 20160524093631.0 | ||
| 008 | 140709s2014 nyu 000 0 eng | ||
| 020 | _a9783319063164 | ||
| 040 |
_aDLC _beng _cDLC _erda _dBD-SySUS |
||
| 082 |
_222 _a004.015113 _bLAN |
||
| 245 | 0 | 0 |
_aLanguages, design methods, and tools for electronic system design. _cMarie-Minerve Louërat; Torsten Maehne |
| 260 |
_aNew york. : _bSpringer, _c ©2015 |
||
| 300 |
_axxiv, 305 p. : _bill. ; _c22 cm. |
||
| 504 | _aIncludes bibliography and index. | ||
| 650 | 0 |
_aFormal methods (Computer science) . _924908 |
|
| 650 | 0 |
_aSoftware engineering -- _916159 |
|
| 700 | 1 |
_aLouërat, Marie-Minerve. _924909 |
|
| 700 | 1 |
_aMaehne, Torsten. _924910 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c60719 _d60719 |
||