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

التفاصيل البيبلوغرافية
مؤلفون مشاركون:	FDL (Conference) Bremen, Germany), SpringerLink (Online service)
مؤلفون آخرون:	Fummi, Franco (المحرر), Wille, Robert (المحرر)
التنسيق:	Electronic Resource
اللغة:	English
منشور في:	Cham Springer International Publishing AG [2018]
الموضوعات:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Computer software > Verification > Congresses. Software architecture > Congresses. Computer hardware description languages > Congresses. Electronic books.
الوصول للمادة أونلاين:	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