Structured Object-Oriented Formal Language and Method Shaoying Liu
Titel: Structured Object-Oriented Formal Language and Method, Untertitel: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, Einband: Taschenbuch, Autor: Shaoying Liu, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 252, Maße: 235x155x14 mm, Gewicht: 388 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System Computer / PC-Hardware EDV / Theorie / Programmieren / Allgemeines Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik / Informatik, Computer Computer programming languages Embedded Systems Semantics Software Engineering Specifications formal methods model checking problem solving robots software development specification languages verification.
Jetzt bei Ebay:
