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

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক:	FDL (Conference) Paris, France), SpringerLink (Online service)
অন্যান্য লেখক:	Drechsler, Rolf (Editor), Wille, Robert (Editor)
বিন্যাস:	Electronic Resource
ভাষা:	English
প্রকাশিত:	Cham Springer [2016]
বিষয়গুলি:	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