Software Engineering and Formal Methods Domenico Bianculli
Titel: Software Engineering and Formal Methods, Untertitel: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY\*SCART, York, UK, September 7-8, 2015. Revised Selected Papers, Einband: Taschenbuch, Autor: Domenico Bianculli, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 356, Maße: 235x155x20 mm, Gewicht: 540 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Cognitive processes Information Systems Model-Based Testing Quantitative Modeling Service Composition Smart Grid business rules collective adaptive system concurrency discrete mathematics education encryption human factors knowledge management probabilistic models process algebra self-adaptive systems software testing software-architecture system testing.
Jetzt bei Ebay:
