01298nam0 2200313 i 450 VAN010940620230306032151.853978-33-19-06316-4N978-3-319-06317-120170525d2015 |0itac50 baengCH|||| |||||Languages, design methods, and tools for electronic system designselected contributions from FDL 2013Marie-Minerve Louërat, Torsten Maehne EditorsCham : Springer, 2015xxxiv305 p.ill. ; 24 cmCHChamVANL001889LouëratMarie-MinerveVANV084668MaehneTorstenVANV084669Springer <editore>VANV108073650ITSOL20240614RICAhttps://link.springer.com/book/10.1007%2F978-3-319-06317-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0109406BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 1288 15EB 1288 20170525 Languages, design methods, and tools for electronic system design1465989UNICAMPANIA