Software Engineering and Formal Methods Gwen Salaün
53,49 €
Titel: Software Engineering and Formal Methods, Untertitel: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, Einband: Taschenbuch, Autor: Gwen Salaün, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 568, Maße: 235x155x31 mm, Gewicht: 850 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Embedded Systems Programming languages Robotics Semantics Software Engineering Software Evaluation Specifications computer operating systems cyber physical systems (cpss) formal logic formal methods formal verifications graph theory model checking ontologies problem solving robots theorem proving verification.
Jetzt bei Ebay:
