cam a22 4 4500 317140973 CHVBK 20201017071214.0 cr ||||||||||| 140311s2013 xxu s 10 eng 978-1-4799-0735-9 978-0-7695-5053-4 (electronic) (OCoLC)891514908 (NEBIS)010168926 SzZuIDS NEBIS ETH-BIB 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE 2013) Birmingham, United Kingdom, 1-3 July 2013 Piscataway, NJ IEEE 2013 Online-Ressource Text txt rdacontent/ger Computermedien c rdamedia/ger Online-Ressource cr rdacarrier/ger SOFTWARE ENGINEERING ger (ETHUDK)000043018 ethudk THEORIE DER PROGRAMMIERUNG ger (ETHUDK)000013697 ethudk Konferenzschrift Birmingham (Great Britain) 2013 gnd-content u SOFTWARE ENGINEERING ger 004*04*04 nebis E1 u THEORIE DER PROGRAMMIERUNG ger 004*04*02 nebis E1 u GÉNIE LOGICIEL fre 004*04*04 nebis E1 u SOFTWARE ENGINEERING eng 004*04*04 nebis E1 u THÉORIE DE LA PROGRAMMATION fre 004*04*02 nebis E1 u THEORY OF PROGRAMMING eng 004*04*02 nebis E1 International Symposium on Theoretical Aspects of Software Engineering (DE-588)1092546995 http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&rft.local_attribute=ieee&isbn=978-1-4799-0735-9 Online via SFX Volltext BK020853 XK020053 XK020000 EText nebis ED E01-Manuell nebis ER noalma ids I 094 E01-20140818 Birmingham (Great Britain) Kongress = Congrès 2013 NEBIS E01 E01 EL NEBIS 711 2- International Symposium on Theoretical Aspects of Software Engineering (DE-588)1092546995 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&rft.local_attribute=ieee&isbn=978-1-4799-0735-9 Online via SFX Volltext SWISSBIB 317140973