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

Bibliografiska uppgifter
Institutionella upphovsmän:	Forum on specification and Design Languages Conference (FDL) Munich, Germany), SpringerLink (Online service)
Övriga upphovsmän:	Kazmierski, Tom J. (Utgivare, redaktör, sammanställare), Steinhorst, Sebastian (Utgivare, redaktör, sammanställare), Große, Daniel (Utgivare, redaktör, sammanställare)
Materialtyp:	Electronic Resource
Språk:	English
Publicerad:	Cham Springer [2020]
Ämnen:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Computer software > Verification > Congresses. Software architecture > Congresses. Computer hardware description languages > Congresses. Electronic books.
Länkar:	Available for University of the Philippines Diliman via SpringerLink. Click here to access Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy