潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 / Marie-Minerve Lourat, Torsten Maehne, editors.

出版发行项:

Cham : Springer, [2014]

ISBN:

9783319063164 (hardback)

ISBN:

3319063162 (hardback)

ISBN:

3319063170 (electronic bk.)

ISBN:

9783319063171 (electronic bk.)

载体形态项:

xxxiv, 305 pages : illustrations (some color) ; 24 cm.

丛编说明:

Lecture Notes in Electrical Engineering, 1876-1100 ; volume 311

会议名称:

FDL (Conference) (2013 : Paris, France)

附加个人名称:

Lourat, Marie-Minerve, editor.

附加个人名称:

Maehne, Torste, editor.

附加团体名称:

Ohio Library and Information Network.

论题主题:

Computer hardware description languages-Congresses.

论题主题:

Computer software-Verification-Congresses.

论题主题:

Formal methods (Computer science)-Congresses.

论题主题:

Software architecture-Congresses.

论题主题:

Software engineering-Congresses.

中图法分类号:

TP303

一般附注:

Includes index.

豆瓣简介：