|  |
| |
| Artikel-Nr.:
858A-9783319153162 Herst.-Nr.:
9783319153162 EAN/GTIN:
9783319153162 |
| |
|
| | |
| 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers Weitere Informationen: | | Author: | Ivan Lanese; Eric Madelaine | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| 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 |
| | |
| |