Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013. [electronic resource]

Další autoři:	Maehne, Torsten, editor Louërat, Marie-Minerve, editor
Jazyk:	angličtina
Informace o vydání:	Cham, Switzerland ; Heidelberg, [Germany] : Springer Science+ Business Media, 2015.
Předmět:	Engineering Software engineering -- Congresses Formal methods (Computer science) -- Congresses Electronic books
Druh dokumentu:	Online; Non-fiction; Electronic document
ISSN:	1876-1119 ;
Databáze:	Vybrané kolekce e-knih
Externí odkaz:	Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.