عنوان

Languages, Design Methods, and Tools for Electronic System Design

:9783319063164

38507

انگلیسی

Languages, Design Methods, and Tools for Electronic System Design

[electronic resources]

: Selected Contributions from FDL 2013

Marie-Minerve Louerat, Torsten Maehne, Editors

Cham

: Springer

, 2015

xxxiv, 305p

:ill.

Lecture Notes in Electrical Engineering

; 311

Index

Bibliography

Formal methods (Computer science) -- Congresses

Software engineering -- Congresses

Software architecture -- Congresses

روش‌های صوری (کامپیوتر) -- کنگره‌ها

نرم‌افزار -- مهندسی -- کنگره‌ها

معماری نرم‌افزار -- کنگره‌ها

E-Book

Louerat, Marie-Minerve

Maehne, Torsten

FDL (Conference) (2013 : Paris, France)

ایران

9783319063164.pdf

279177