Library, University of Moratuwa, Sri Lanka catalog

Normal view MARC view ISBD view

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016 - Cham Springer Nature 2018 - vii, 116p. : ill., index included - Lecture Notes in Electrical Engineering vol. 454 .

ISBN: 9783319629193

Subjects--Topical Terms:
FORMAL METHODS(COMPUTER SCIENCE)
COMPUTER HARDWARE DESCRIPTION LANGUAGES
Computer software-Verification
Electronics

Universal Decimal Class. No.: 621.38 / F6

Print
Add to your cart (remove)
Suggest for purchase
Save record
More searches