000			01556nam a2200385 i 4500
999			_c94028 _d94034
003			MY-KuUP
005			20251125105717.0
006			a||||fs|||| 00| 0
007			cr |||||||||||
008			200104s2020 sz fs 101 0 eng d
020			_a9783030315856 _qebook
040			_aOhioLINK _beng _cUMP _erda
090			_aQA76.9 .L36 2020
245	0	0	_aLanguages, design methods, and tools for electronic system design : _bselected contributions from FDL 2018 / _cTom J. Kazmierski, Sebastian Steinhorst, Daniel Große, editors
246	3		_aFDL 2018
264		1	_aCham : _bSpringer, _c2020
300			_a1 online resource
336			_atext _2rdacontent
337			_acomputer _2rdamedia
338			_aonline resource _2rdacarrier
490	1		_aLecture Notes in Electrical Engineering ; _vv.611
500			_aIncludes index
650		0	_aFormal methods (Computer science) _vCongresses
650		0	_aSoftware engineering _vCongresses
650		0	_aComputer software _xVerification _vCongresses
650		0	_aSoftware architecture _vCongresses
650		0	_aComputer hardware description languages _vCongresses
700	1		_aKaźmierski, Thomas J., _eeditor.
700	1		_aSteinhorst, Sebastian, _eeditor.
700	1		_aGrosse, Daniel, _eeditor.
830		0	_aLecture notes in electrical engineering ; _vv. 611
856	4	0	_uhttps://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-31585-6 _zOff-campus link
856	4	0	_uhttps://link.springer.com/book/10.1007/978-3-030-31585-6 _zClick here (Direct link)
942			_2lcc _cEBOOK