Integration of Software Specification Techniques for Applications in Engineering
Titel: Integration of Software Specification Techniques for Applications in Engineering, Untertitel: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report, Einband: Taschenbuch, Autor: Hartmut Ehrig, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 644, Maße: 235x155x35 mm, Gewicht: 961 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Control systems Formal Specification Software Specification Specification Techniques UML Unified Modeling Language (UML) engineering systems formal verification modeling petri net petri nets software architectures specification languages systems specification traffic control systems.
Jetzt bei Ebay:
