Formal Aspects of Component Software Peter Csaba Ölveczky
Titel: Formal Aspects of Component Software, Untertitel: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, Einband: Taschenbuch, Autor: Peter Csaba Ölveczky, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 344, Maße: 235x155x19 mm, Gewicht: 522 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Analysis Tools B-Method Certification Modeling Approaches Models of computation Simulation Software Engineering Transformation component software formal methods formal models formal semantics logic and verification model checking modeling operational semantics service-oriented computing software architectures timed automata type theory.
Jetzt bei Ebay:
