Unifying Theories of Programming Huibiao Zhu
Titel: Unifying Theories of Programming, Untertitel: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, Einband: Taschenbuch, Autor: Huibiao Zhu, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 228, Maße: 235x155x13 mm, Gewicht: 353 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Denotational Semantics HCSP Logics and meanings of programs Refinement Simulink Software Engineering UTP formal languages hybrid systems interpreters laws of programming mathematical logic meanings of programs programming language reactive processes semantic languages semantic models therory engineering trace algebra unifying theories verification.
Jetzt bei Ebay:
