cam a22 4 4500 357764579 CHVBK 20200930080356.0 151218s2016 sz a |||| 100 0|eng|d GBB5-I5239 bnb 978-3-319-24455-6 print 978-3-319-24457-0 eBook (OCoLC)945477706 (NEBIS)010603300 StDuBDS ger SzZuIDS NEBIS ETH-BIB rda 621.392 23 FDL (17. 2014 München) (DE-588)1081564296 Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Frank Oppenheimer, Julio Luis Medina Pasaje, Editors Cham Springer 2016 vi, 205 Seiten Illustrationen Text txt rdacontent/ger ohne Hilfsmittel zu benutzen n rdamedia/ger Band nc rdacarrier/ger Lecture notes in electrical engineering Volume 361 361 (NEBIS)005580799 166575771 Formerly CIP Uk "...selection of the best papers from the seventeenth edition of the Forum on Specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany." Includes bibliographical references Formal methods (Computer science) Congresses Software engineering Congresses Computer software Verification Congresses Software architecture Congresses Computer hardware description languages Congresses ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME) ger (ETHUDK)000034703 ethudk SCHALTKREISENTWURF (MIKROELEKTRONIK) ger (ETHUDK)000047869 ethudk SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME) ger (ETHUDK)000061505 ethudk SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) ger (ETHUDK)000013733 ethudk Konferenzschrift München 2014 gnd-content u SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME) ger 004*03*01*03 nebis E1 u SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) ger 004*03*01 nebis E1 u ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME) ger 004*03*04*02 nebis E1 u SCHALTKREISENTWURF (MIKROELEKTRONIK) ger 621.3.049.7,18 nebis E1 u LANGAGES DE SPÉCIFICATION (SYSTÈMES INFORMATIQUES) fre 004*03*01*03 nebis E1 u SPECIFICATION LANGUAGES (COMPUTER SYSTEMS) eng 004*03*01*03 nebis E1 u ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES) fre 004*03*01 nebis E1 u SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS) eng 004*03*01 nebis E1 u SYSTÈMES EN TEMPS RÉEL ET SYSTÈMES EMBARQUÉS (SYSTÈMES INFORMATIQUES) fre 004*03*04*02 nebis E1 u REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (COMPUTER SYSTEMS) eng 004*03*04*02 nebis E1 u DESSIN DES CIRCUITS IMPRIMÉS (MICROÉLECTRONIQUE) fre 621.3.049.7,18 nebis E1 u CIRCUIT DESIGN (MICROELECTRONICS) eng 621.3.049.7,18 nebis E1 Oppenheimer Frank 1967- (DE-588)12987213X Herausgeber edt Pasaje Julio Luis Medina Herausgeber edt BK020800 XK020000 XK020000 E01-OS-ML-2016 nebis EO 093 E01-20160328 055 E01-20160328 NEBIS E16 E16 RH P T 1711: 361 NEBIS 111 2- FDL (17 2014 München) (DE-588)1081564296 NEBIS 490 0- Lecture notes in electrical engineering Volume 361 361 (NEBIS)005580799 166575771 NEBIS 700 1- Oppenheimer Frank 1967- (DE-588)12987213X Herausgeber edt NEBIS 700 1- Pasaje Julio Luis Medina Herausgeber edt NEBIS EAD50 EBI01 E16 https://opac.nebis.ch/objects/pdf03/e16_978-3-319-24455-6_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf NEBIS EAD50 EBI01 E16 https://opac.nebis.ch/objects/pdf03/e16_978-3-319-24455-6_02.pdf Abstract / Autoreninformation VIEW pdf SWISSBIB 357764579