cam a22 4 4500 31714412X CHVBK 20200930034107.0 140311s2013 xxu 10 eng 978-1-4799-0735-9 978-0-7695-5053-4 (electronic) (OCoLC)891516181 (NEBIS)010097201 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 246 S. Ill. 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 BK020800 XK020000 XK020000 094 E01-20140630 Birmingham (Great Britain) Kongress = Congrès 2013 NEBIS E16 E16 RH RR 15838 NEBIS 711 2- International Symposium on Theoretical Aspects of Software Engineering (DE-588)1092546995 NEBIS EAD50 EBI01 E16 https://opac.nebis.ch/objects/pdf03/e16_978-1-4799-0735-9_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf SWISSBIB 317140973