|  |
| |
| Artikel-Nr.:
858A-9783319150741 Herst.-Nr.:
9783319150741 EAN/GTIN:
9783319150741 |
| |
|
| | |
| 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings Weitere Informationen: | | Author: | Christiano Braga; Narciso Martí-Oliet | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Real-time systems software; System description languages; abstraction, modeling and modularity; correctness; formal methods; software system models, Abstraction, modeling and modularity, Correctness, Formal methods, Real-time systems software, Software system models, System description languages |
| | |
| |