Languages, design methods, and tools for electronic system design
selected contributions from FDL 2018
FDL 2018
Kaźmierski, Thomas J.
editor.
Steinhorst, Sebastian
editor.
Grosse, Daniel
editor.
text
conference publication
sz
2020
monographic
eng
1 online resource
specialized
Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große, editors
Includes index
Formal methods (Computer science)
Congresses
Software engineering
Congresses
Computer software
Verification
Congresses
Software architecture
Congresses
Computer hardware description languages
Congresses
Lecture notes in electrical engineering ; v. 611
9783030315856
https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-31585-6
https://link.springer.com/book/10.1007/978-3-030-31585-6
https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-31585-6
https://link.springer.com/book/10.1007/978-3-030-31585-6
OhioLINK
200104
20251125105717.0
eng