Formal Aspects of Component Software Eric Madelaine
Titel: Formal Aspects of Component Software, Untertitel: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Einband: Taschenbuch, Autor: Eric Madelaine, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 396, Maße: 235x155x22 mm, Gewicht: 598 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Analysis Tools B Formal Language Certification Compositionality Evolution Rules Modeling Approaches Models of computation Quantitative Verification Software Adaptation Transformation component reuse component-based software consistency checking formal methods formal models formal semantics program analysis service-oriented computing software verification and validation timed automata.
Jetzt bei Ebay:
