Formal Aspects of Component Software bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783319289335

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319289335

EAN/GTIN:
9783319289335

Suchbegriffe:

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Weitere Informationen:


Author:	Christiano Braga; Peter Csaba Ölveczky
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, component software, model checking, modeling, simulation, software engineering, analysis tools, b-method, certification, formal methods, formal models