Dynamic Logic. New Trends and Applications Igor Sedlár
Titel: Dynamic Logic. New Trends and Applications, Untertitel: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers, Einband: Taschenbuch, Autor: Igor Sedlár, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 308, Maße: 235x155x17 mm, Gewicht: 470 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Science Computer Systems Embedded Systems Epistemic logic Semantics Software Design Software Engineering architecting architecture verification and validation computer programming dynamic logic formal languages formal logic linguistics mathematics modal logic model checking multiagent system software architecture.
Jetzt bei Ebay:
