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

Manylion Llyfryddiaeth
Awduron Corfforaethol:	FDL (Conference) Paris, France), SpringerLink (Online service)
Awduron Eraill:	Louerat, Marie-Minerve (Golygydd), Maehne, Torsten (Golygydd)
Fformat:	Electronic Resource
Iaith:	English
Cyhoeddwyd:	Cham Springer International Publishing [2015]
Pynciau:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Computer software > Verification > Congresses. Software architecture > Congresses. Computer hardware description languages > Congresses. Electronic books.
Mynediad Ar-lein:	Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy