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

Bibliografske podrobnosti
Corporate Authors:	FDL (Conference) Paris, France), SpringerLink (Online service)
Drugi avtorji:	Oppenheimer, Frank (Editor), Pasaje, Julio Luis Medina (Editor)
Format:	Electronic Resource
Jezik:	English
Izdano:	Cham Springer [2016]
Teme:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Computer software > Verification > Congresses. Software architecture > Congresses. Computer hardware description languages > Congresses. Electronic books.
Online dostop:	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