OPAC Home  

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016

By: [FDL] THE FORUM ON SPECIFICATION AND DESIGN LANGUAGES ( 2016 : Bremen)Contributor(s): Fummi, Franco [ed.] | Wille, Robert [ed.]Language: English Series: Lecture Notes in Electrical Engineering vol. 454Publisher: Cham Springer Nature 2018Description: vii, 116p. : ill., index includedISBN: 9783319629193Subject(s): FORMAL METHODS(COMPUTER SCIENCE) | COMPUTER HARDWARE DESCRIPTION LANGUAGES | Computer software-Verification | Electronics
    Average rating: 0.0 (0 votes)
Item type Current location Call number Shelving info Status Date due Barcode Item holds
Conference Proceeding Conference Proceeding Library, University of Moratuwa
The University of Moratuwa Library (UML) is one of the most prominent technology libraries in the country. Its main subject specializations are Engineering, Architecture and Information Technology. However, the library caters to the requirements of the membership by housing books and other materials of general interest as well.
Lending Collection
621.38 F6 (Browse shelf) 03-21-02 Available 112856
Total holds: 0

There are no comments on this title.

to post a comment.

Copyright @ 2015-2021 Library, University of Moratuwa, Katubedda, Moratuwa (10400), Sri Lanka