| ![](/p.gif) |
![](/p.gif) |
| Artikel-Nr.: 5667A-9783319153162 Herst.-Nr.: 9783319153162 EAN/GTIN: 9783319153162 |
| |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers Weitere Informationen: ![](/p.gif) | ![](/p.gif) | Author: | Ivan Lanese; Eric Madelaine | Verlag: | Springer International Publishing | Sprache: | eng |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, Analysis Tools, B Formal Language, Certification, Component Reuse, Component-based Software, Compositionality, Consistency Checking, Evolution Rules, Formal Methods, Formal Models |
| ![](/p.gif) | ![](/p.gif) |
| |