01556nam a2200385 i 4500 0 0 lcc 0 0 20000 20000 2020-11-05 90 162.00 0 QA76.9 .L36 2020 E000001452 2020-11-05 00:00:00 1 162.00 2020-11-05 EBOOK 94028 94034 MY-KuUP 20251125105717.0 a||||fs|||| 00| 0 cr ||||||||||| 200104s2020 sz fs 101 0 eng d 9783030315856 ebook OhioLINK eng UMP rda QA76.9 .L36 2020 Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 / Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große, editors FDL 2018 Cham : Springer, 2020 1 online resource text rdacontent computer rdamedia online resource rdacarrier Lecture Notes in Electrical Engineering ; v.611 Includes index Formal methods (Computer science) Congresses Software engineering Congresses Computer software Verification Congresses Software architecture Congresses Computer hardware description languages Congresses Kaźmierski, Thomas J., editor. Steinhorst, Sebastian, editor. Grosse, Daniel, editor. Lecture notes in electrical engineering ; v. 611 https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-31585-6 Off-campus link https://link.springer.com/book/10.1007/978-3-030-31585-6 Click here (Direct link) lcc EBOOK