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

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

Detalhes bibliográficos
Autores corporativos: Forum on specification and Design Languages Conference (FDL) Munich, Germany), SpringerLink (Online service)
Outros Autores: Kazmierski, Tom J. (Editor), Steinhorst, Sebastian (Editor), Große, Daniel (Editor)
Formato: Electronic Resource
Idioma:English
Publicado em: Cham Springer [2020]
Assuntos:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Computer software > Verification > Congresses.
Software architecture > Congresses.
Computer hardware description languages > Congresses.
Electronic books.
Acesso em linha: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